I am involved in the development of open source software.
- I am the main developer of Conjure, the automated constraint modelling tool.
- I contribute to the development of Savile Row – more often indirectly by making Peter Nightingale do a lot of (very cool!) work.
- I am a contributor to the awesome dependently typed programming language Idris.
- I am one of the editors-in-chief of CSPLib.
- I am the developer of and a contributor to DLRep.