Explore projects

In OCaml.

Simulation d'un quadricoptère avec Zélus

Projet du cours de sysdig

Rewrite the passmanager in ocsigen.

Projet du cours de programmation fonctionnelle au MPRI

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

OCaml implementation of a typer for System FOmega (MPRI 2.4 project).

Bip is a processor.

Projet de sémantique 2015

Syncthing implementation in OCaml

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

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