Projet de sémantique 2015
Syncthing implementation in OCaml
Static analyzer for the Semantics and Verification course at École Normale Supérieure.