Explore projects

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.

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.

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

Contains LaTeX and pdf files related to my internship at INRIA Montpellier.

Subject: Normalisation Procedures for Existential Rules that Preserve Chase Termination

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