Senior Software Engineer at Moonsworth.
We're building Lunar, a refreshing Minecraft client.
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