Kevin Clancy

typedlua. An Optional Type System for Lua

levitate. Utilities for verified floating-point computation in Haskell: Controlled rounding, interval arithmetic, and affine arithmetic.

SchemaTypes. Dependently typed schema language for MUMPS

EssentialsOfCompilation. Working through "Essentials of Compilation" by Jeremy Siek

MaMaCompiler. an implementation of the Maurer Machine, as described in "Compiler Design: Virtual Machines" by Wilhelm and Seidl

monotonicity-coeffects. F#