Artifact of "Example-Directed Synthesis: A Type-Theoretic Implementation" by Frankle, Osera, Walker, and Zdancewic.
lightweight monadic programming for Haskell
The first compiler I built.
A compiler implemented in OCaml
Windows utility that displays a keyboard that mirrors your keystrokes.
Vim syntax highlighting for the ott programming languages design tool
Programming Language Implementation in Haskell - Study Notes
A compiler for a small arithmetic language based on S-expressions
A compiler for some toy language