Projects

Vélus

A prototype compiler for Lustre, verified in [Coq](https://coq.inria.fr/).

Obelisk

A tool to pretty-print ($\LaTeX$) [Menhir](http://gallium.inria.fr/~fpottier/menhir/) grammars.