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.

Presentation of hackEns projects for 2013-2014.

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

Report on my M2 internship as part of the MPRI.

Projet du cours de sysdig

Exercice de démineur pour le cours de POO de la prépagreg de Jussieu

Report for PSL* in 2013 / 2014.

Langage de description des chansons (harmonie + paroles, sans indication de mélodie ou de rythme mélodique précis). Génération de fichiers LaTeX (contenant les paroles et les accords correctement alignés) et de backing tracks en midi.