Software
- Simple httpd: a library to build web site and servers (2023-today), documentation.
- GLES 3 bindings for OCaml (2016-today), documentation.
- Parsers for OCaml (2016-today), documentation.
- PML: proved programming in a ML like language avec Rodolphe Lepigre (2010-today)
- The PhoX proof assistant, version 0.8 (2005)
- Bindlib, a package for abstract syntax with binder with Rodolphe Lepigre (2006-today), documentation.
- GlSurf, version 2.1 (2003)
- Callbacks-0.1: a camlp4 extension to generate C wrappers for OCaml functions (2005)
- A small OCaml library to change the rounding for floatting point arithmetic (2003)
- A library for formal and numerical calculus in OCaml (2000)
- A normalizer for pure and typed lambda-calculus (1995)
- Logic Algorithms (1995)