Most of my software can be found on github. Here is a list of some projects

- 2017-2018AdREM Domain Adaptation with Randomized Expectation Maximization
- 2013-2014Local Search Optimization for graph clustering Finds an approximately optimal clustering of a undirected graph according to some objective function
- 2017-2018TTIE: Type Theory with Indexed Equality A demo interpreter and type checker of a type theory with interval indexed equality types.
- 2001-2012Magic Set EditorA program to design playing cards for Magic™ and other games. Written in C++, GPL licensed.
- 2009-2010Justitia - programming judgeA system for judging programming exercises done by students.
- MOLTAP — A Modal Logic Tableau ProverAn automatic theorem prover for modal logics such as KD, S4 and S5
- 2005-2006flinderCMS - content management systemA content management system writen in PHP, abandoned for several years.

- simple-reflectSimple reflection of expressions containing variables.

Available from lambdabot. Just type`> x + y^3`. - Data.MultiSetA variation of Data.Set. Multisets, sometimes also called bags, can contain multiple copies of the same key.
- Data.CompactStringPackaged string library (deprected, use Data.Text instead)

Smaller contributions:

- Functor deriving in GHC.

Slay the Spire:

- Mad Scientist Character
- Hybrid Character
- Card exporter
- Some custom cards
- Synergistic card choice relic

Factorio: