Projects

• Area of the Pythagoras Tree Previously unknown
• Formal Proof of the Area of the Pythagoras Tree
• A space filling curve Resolved a conjecture I'd wondered about for ~7 years


• Boustrophedon browser extenstion
• TypeBlocks Draggable blocks with higher-order types. Haskell flavor Scratch. Proof of concept.
• Bartok (source) A multiplayer card game in which you may add rules when you win (by writing them in Haskell).


• Ludum Dare
  1. IMOJC Massively multiplayer game of life (A further experiment in how (not) to write C networking code)
  2. Brainstuck Puzzle game based on a well known esoteric programming language.
  3. 4D Jenga
• Hypercuboid Search The only known algorithm for checkmate detection in 5D chess with multiverse timetravel that finishes in a reasonable amount of time (<1 second) on all tested inputs.
• Entanglement Chess (source) I am responsible for a correct and efficient algorithm (and implementation of said algorithm) to determine which moves are legal.
• Set Multiplayer Set game. An experiment in how (not) to write C networking code.
• Asteroids on a 3-sphere

• Advent of code(my solutions) In 2019, I finished in the top 100 globally.