Explore projects

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.

Report on my M2 internship as part of the MPRI.

Le parolier de Vox Ernestorum, chorale geek d'Ulm

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.

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