Pinned Loading

1. o o Public

   Esoteric stack-oriented programming language for code golf

   C 59 7

2. dtt dtt Public

   experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust

   Rust 23

3. mars mars Public

   Minimal programming language with type inference, structures, control flow, and more.

   Kotlin 20

4. sbhs sbhs Public

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

   Kotlin 14 3

5. PhaseBot PhaseBot Public

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

   Java 30 4

6. CadixDev/MercuryMixin CadixDev/MercuryMixin Public

   A processor to remap Mixins using Mercury.

   Java 19 7