Pinned Loading

1. o o Public

   Esoteric stack-oriented programming language for code golf

   C 61 9

2. dtt dtt Public

   dependent type theory experiment

   Rust 26

3. mars mars Public

   Compiler with type inference, structs, control flow, and more.

   Kotlin 21

4. sbhs sbhs Public

   Sonic Battle Hack Suite - GUI program for reverse engineering & patching Sonic Battle for the GBA.

   Kotlin 18 3

5. PhaseBot PhaseBot Public

   Stand-alone Minecraft bot with a turing complete scripting language (MC 1.8)

   Java 29 4

6. CadixDev/MercuryMixin CadixDev/MercuryMixin Public

   A processor to remap Mixins using Mercury.

   Java 19 11