Explore projects

Projet de sémantique 2015

Rewrite the passmanager in ocsigen.

Syncthing implementation in OCaml

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

Projet du cours de sysdig

In OCaml.

Projet du cours de programmation fonctionnelle au MPRI

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

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

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

Bip is a processor.