Coding

Software I’ve written

Haskell interval containers
m3f - a tool to extract metadata from Hasselblad images
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
2012 - Lambda Lifting
2013 - Program synthesis
2014 - Lambda-Man
2015 - Hextris
2016 - Origami folding
2017 - Lambda punting
2018 - 3D printing
2019 - Lambda mine wrapping
2020 - Signals from outer space
2021 - Brain Wall
2022 - RoboPainters
2023 - Lambda Band
2024 - Interstellar Communication Functional Programs (ICFP)