FRDwarf: Fast and Reliable DWARF Unwinding: tools to synthesise DWARF unwind tables from binaries, and speed-up unwinding, 2019.
LambdaJulia: a reference implementation of the Julia subtyping algorithm, 2017-2018.
Fence PRE in LLVM: LLVM optimisation pass to perform fence elimination for x86, ARM and IBM Power backends, 2016-2017.
Cmmtest: a tool for hunting concurrency compiler bugs, 2012-2016.
StrongScript: Concrete Types for TypeScript, 2014-2016.
The CompCertTSO compiler, 2010-2012.
Ott: a tool for the working semanticist, 2007-2019.
The Acute programming language, 2003-2006.
Contributions to Free Software projects:
PCF font driver for the FreeType library: the readme. The code has been integrated into FreeType2 CVS on January 3rd, 2001. A BDF font driver is available too: the readme. The code has been integrated into FreeType2 CVS on May 21st, 2002.
No longer mantained:
Burfiks: a bayesian filter for the web, 2007.