Visual Lean Prototype
Write formal Lean proofs through an entirely visual click-and-drag interface.
Live Web Demos
Ongoing Projects
Research and Experiments
LLM: Large Language Mario
Building a large language model from scratch and training it with Mario Maker 2 user data.
Archived Projects
More Minecarts and Rails
A Minecraft mod that adds many new types of rails and minecarts. Over 9 million downloads.
Chambers of Fortune
A game jam entry to the GMTK Jam 2022.
Find high-fortune regions to stack the odds in your favor.
Myco
A game jam entry to Ludum Dare 49.
Increasingly powerful spells may shred your enemies, along with the ground underneath your feet...
Faux
A game jam entry to the second Brackeys Game Jam of 2020.
Jump to move backwards in time and save a collapsing universe.
The Consolas Esolang
An esolang where registers are characters in the script file itself.
Minecraft Recipe Randomizer
A generator for completing achievable Minecraft challenges where all recipe outputs are swapped.
Don't Starve Super Paper Mario Foods
A Don't Starve mod that adds all 110 Super Paper Mario food items.
The Blockstring
A series of Minecraft maps involving biomes generated through many random walking 'strings'.
Progressive Music Shuffler
A music shuffling application which unlocks more music as you grow more focused.