Explore projects

Projet de sémantique 2015

Syncthing implementation in OCaml

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

Static Analyzer for a language similar to C, written in OCaml as a projet for the class "Sémantique et Application à la vérification formelle de programmes" of 2024.