Projects

Miscellaneous

• TypeBlocks Draggable blocks with higher-order types. Haskell flavor Scratch. Proof of concept.
• An interesting font
• Boustrophedon browser extenstion

Mathematical results

• 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

Games I've made/implemented

• Bartok (source) A multiplayer card game in which you may add rules when you win (by writing them in Haskell).
• Set Multiplayer Set game. An experiment in how (not) to write C networking code.
• Ludum Dare
  • IMOJC Massively multiplayer game of life (A further experiment in how (not) to write C networking code)
  • Brainstuck Puzzle game based on a well known esoteric programming language.
  • 4D Jenga
  • Fractal Collector A Puzzle game in which you create fractals.
• Asteroids on a 3-sphere

Algorithms related to chess variants

• Hypercuboid Search Checkmate detection for 5D chess with multiverse timetravel. 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.