Beast code in Giters

samolesen's repositories

Compiling protocol narrations into applied pi processes

Language:OCaml1 10

Validation made easy using TypeScript decorators.

Language:TypeScript010

Another LaTeX Plugin for Sublime Text 3

Language:Python010

A PHP 5.3+ Mutation Testing framework

Language:PHPNOASSERTION010

A SAML 2.0 middleware for ASP.NET Core

Language:C#MPL-2.0000

Config files for my GitHub profile.

010

Inline lint highlighting for the Sublime Text 2 editor

Language:JavaScriptMIT010

µBlock - An efficient blocker for Chromium-based browsers. Fast and lean.

Language:JavaScriptGPL-3.0010