Explore projects
-
Updated
-
Updated
-
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.
Updated -
Updated
-
Updated
-
Updated
-
-
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.
Updated -
Updated
-
Exercice de démineur pour le cours de POO de la prépagreg de Jussieu
Updated -
Updated
-
Updated
-
Updated
-
Contains LaTeX and pdf files related to my internship at INRIA Montpellier.
Subject: Normalisation Procedures for Existential Rules that Preserve Chase Termination
Updated -
Code for the final project of DEC course Conversation among People and Bots at ENS Paris
Updated -
Updated
-
Updated
-
Updated