An incomplete list of projects I have worked on.

• troid

  Experiments with homemade 3d software rendering engines

• agda2lambox

  An Agda backend targetting Lambda Box

• jibniz

  A javascript implementation of the IBNIZ VM

• kagu

  A toy dependently-typed language

• slod

  A tiny HTTP server for static files with live reloading

• achille

  A Haskell library for building static site generators