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.

Règlement intérieur de la Délégation générale, annexes et traductions, à tenir à jour.

Website for inventory and suggestion management for the board game club. This can later be adapted for *-thèque or other library-like student associations.

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.

Application Django pour la gestion du COF

Application Django pour la gestion du COF

Application Django pour la gestion du COF

Site statique de La Nuit