Explore projects

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.

Notes du cours de théorie descriptive des ensembles

Basic operating system for the Operating System course at École Normale Supérieure.

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

Code for the final project of DEC course Conversation among People and Bots at ENS Paris

Une feuille A4 recto/verso max, distribuée aux conscrit·e·s à la rentrée. Détaille les services informatiques élèves à l'ENS, ainsi que quelques infos plus générales sur l'informatique à l'ENS (pas nécessairement élèves).

Le parolier de Vox Ernestorum, chorale geek d'Ulm