Explore projects

In OCaml.

Projet du cours de sysdig

Static analyzer for the Semantics and Verification course at École Normale Supérieure.

Programme pour dumper tout ou partie de la compta du COF (gnucash).

Simulation d'un quadricoptère avec Zélus

Syncthing implementation in OCaml

Simulation d'un quadricoptère avec Zélus

Petite librairie sur la coloration de digraphes.

Kotlin Typer for the Compilation course at École Normale Supérieure.

Project for the Digital Systems course at École Normale Supérieure.

Bip is a processor.