A 2048 clone played with a RGB high power LEDs wall for the Nuit des Sciences event at Ens.
Review on GANs for the Artificial Vision class at ENS.
Deuxième DM d'Apprentissage Statistique (S2 18-19)
Basic operating system for the Operating System course at École Normale Supérieure.
Introduction to causal graph dynamics written as part of the École Normale Supérieure de Paris mathematics bachelor's degree.
Kotlin Typer for the Compilation course at École Normale Supérieure.
Implementation of a Parrot Mambo controller in Lustre.
Report on my M1 internship as part of the Computer Science Master's degree of École Normale Supérieure de Paris.
The internship report for my M1 internship (March-July 2020)
Project for the Digital Systems course at École Normale Supérieure.
Submission for the programming project of the MPRI course "Proof of Programs".
Ceci est ma contribution pour l'examen du cours 2.37.1 du MPRI.
Coq implementation and verification of a decision procedure for intuitionistic tautological properties (MPRI 2.7.2 project).
Code for the LEDs installation at Nuit de la rue d'Ulm in 2013.
Code for the LEDs installation at Nuit de la rue d'Ulm in 2014.
Probabilistic programming library for OCaml (MPRI 2.40 project).
Code for the podias in K-Fêt.