Pinned Loading

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

   C#

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

   PHP

3. A Java library that implements Mozilla Fluent

   Java 2

4. (τ) An esoteric turing machine programming language

   C

5. A library to parse and execute custom ASM.

   Lua