Software
- 2022: Wasocaml, an OCaml to WasmGC compiler.
- 2021: Owi, a cross-language bug-finding tool.
OCaml libraries
- 2024: prelude, a library hiding risky parts of the OCaml standard library.
- 2024: drame, a web framework.
- 2022: scfg, a library to work with the scfg configuration file format.
- 2022: leaflet, a library providing bindings to the Leaflet JavaScript library.
- 2021: swhid, a library to work with persistent identifiers found in Software Heritage, also known as swhid.
- 2021: agrid, a library to work with two dimensional arrays whose width/height can be changed by adding or removing row/column at either end.
- 2020: directories, a library providing easy access to the suitable paths conventions on Linux (XDG Base Directory Specification and xdg-user-dirs), macOS (Standard Directories) and Windows (Known Folders).
- 2019: omg, a library to generate text using markov chains.
- 2019: hc, a library for hash-consing.
- 2019: memo, a library for memoïzation.
- 2019: bdd, a library to work with binary decision diagrams.
Websites
- 2021: geochan, an imageboard software written in OCaml with geolocalized threads.