(Free) Software

(back)

Research Software:

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-2016.

The Acute programming language, 2003-2006.


Free Software:

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.

Integrating the FreeType2 scan-line converters into Ghostscript graphics library: screenshots, more screenshots, the readme, 2000.


Other code:

Linepithema humile, with Peter Sewell, an ICFP Programming Contest entry, 2004.


No longer mantained:

Burfiks: a bayesian filter for the web, 2007.

An OCaml library to manipulate fresh names (inspired from FreshOCaml), 2004.

I packaged several OCaml utilities and libraries for the GODI package system: the source packages, 2004.


Last update: