Logiciels
- Simple httpd: une bibliothèque pour développer des sites et serveurs web (2023-aujourd'hui), documentation.
- GLES 3 interface pour OCaml, documentation.
- Analyse grammatical pour OCaml (2016-aujourd'hui), documentation.
- PML: programmation prouvée dans un dialecte de ML avec Rodolphe Lepigre(2010-aujourd'hui)
- l'assistant de preuves PhoX, version 0.8
- Bindlib, une bibliothèque pour les structures de données avec lieur en Ocaml avec Rodolphe Lepigre (2006-today), documentation.
- GlSurf, version 2.1 (on devrait passer à gles3 bientôt)
- Callbacks-0.1: une extension camlp4 pour générer les interfaces entre C et OCaml (deprecated?)
- A small OCaml library to change the rounding for floatting point arithmetic
- A library for formal and numerical calculus in OCaml
- A normalizer for pure and typed lambda-calculus
- Logic Algorithms