An incomplete list of projects I have worked on.

• achille

  A Haskell library for building static site generators

• jibniz

  A javascript implementation of the IBNIZ VM

• troid

  Experiments with homemade 3d software rendering engines

• kagu

  A toy dependently-typed language

• slod

  A tiny HTTP server for static files with live reloading

• agda2lambox

  An Agda backend targetting Lambda Box