jadon

Results 4 repositories owned by


                                            jadon

Stars

Forks

Watchers

Esoteric stack-oriented programming language for code golf

Stars

Forks

Watchers

Transitive Minecraft Mappings for 1.7.10 through 1.15.2 (Spigot <-> MCP <-> Yarn <-> Mojang)

Stars

Forks

Watchers

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

Stars

Forks

Watchers

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