welcome to my little corner of the internet
interesting code I've written
o
↗️
esoteric, stack-oriented language for code golf
mars
↗️
toy imperative language with simple functions & structs
dtt
↗️
evaluator for Martin-Löf type theory
sbhs
↗️
GUI tool for patching sprites in Sonic Battle for the GBA
PhaseBot
↗️
Minecraft bot that can pathfind (A*), break/place blocks
Cadix
↗️
tools for analyzing Java source & bytecode
Ore
↗️
repository for Sponge plugins
socials
@phase 
@jadopoly 
@jado