Explore projects

Rewrite the passmanager in ocsigen.

Le parolier de Vox Ernestorum, chorale geek d'Ulm

Le parolier de Vox Ernestorum, chorale geek d'Ulm

Le parolier de Vox Ernestorum, chorale geek d'Ulm

Probabilistic programming library for OCaml (MPRI 2.40 project).

Submission for the programming project of the MPRI course "Proof of Programs".

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

Report on my M2 internship as part of the MPRI.

The internship report for my M1 internship (March-July 2020)

Patched version of libnfc to use Intel Galileo's libmraa for I2C.

Implementation of a Parrot Mambo controller in Lustre.

Le site de gestion de Légulm, l'AMAP de l'ENS. Comprend une partie compta et une partie publique.