Coding
Software I’ve written
- Haskell interval containers
- skred - a toy lazy functional language implemented in Java using SK combinator graph reduction
- Map Explorer - a line-of-sight tool for the D&D Miniatures game
- Android apps
- JavaScript memory bandwidth benchmark
ICFP Programming Contest writeups / repos
- 2004 - ant colony simulation
- 2007 - alien DNA morphing
- 2008 - controller for mars rover
- 2010 - International Car and Fuel Production
- 2011 - Lambda the Gathering
- 2013 - Program synthesis
- 2014 - Lambda-Man
- 2015 - Hextris
- 2016 - Origami folding
- 2017 - Lambda punting
- 2018 - 3D printing
- 2020 - Signals from outer space
- 2021 - Brain Wall
- 2022 - RoboPainters
- 2023 - Lambda Band