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