Milo Turner

Nanocaml is an OCaml preprocessor extension that empowers compiler writers to create many intermediate languages and passes. Based on Nanopass, Nanocaml analyzes data definitions to generate recursive functions.

Opal is a programming language with C-like syntax, designed to experiment with an interface system that is more permissive than Java interfaces or Haskell typeclasses. Includes additional features like pattern matching and type inference.

Lucid is an experimental version control system, similar to Git and Darcs. It uses "patch commutation" as a mathematical basis for merge and cherry-pick operations. It also has a text-based frontend designed to integrate with org-mode within the editor Emacs.

This page is built using SASS to generate CSS, and Racket to generate HTML from s-expressions. I try to make everything open-source, so feel free to check out how this very site works!