Pinned Loading

1. Uhkko/BananaBlaster Uhkko/BananaBlaster Public

   A small Bit-Blasting implementation using the Z3 SAT-Solver.

   C#

2. MultiCodeBlock MultiCodeBlock Public

   Creates a codeblock consisting of multiple languages and a custom way of commenting the code.

   PHP

3. fluent4j fluent4j Public

   A Java library that implements Mozilla Fluent

   Java 2

4. tau tau Public

   (τ) An esoteric turing machine programming language

   C

5. luasm luasm Public

   A library to parse and execute custom ASM.

   Lua