Mes Projets
Vous pouvez retrouver la plupart de mes projets sur mon GitHub, mon GitLab ENS ou ma page sur la forge de la DGNum. Cette page va de paire avec mes travaux de recherche.
Projets Personnels
- Livre de Recettes mis en page avec LaTeX et lua. Le code est disponible ici, et vous trouverez ici un formulaire pour générer (sans coder) le format interne (mix de lua et de json) pour la mise en page des recettes.
- Carte de Paris superposable avec des diagrammes de Voronoï
- LaNiχ, un système de compilation de documents LaTeχ en Rust, permettant à partir d'une configuration nix, de générer des commandes `latexmk` important des variables.
Projets de Cours
- Crucibilistic, un solver de Mots-Croisés en Python inspiré de ProVerb par Greg Keim, Noam Shazeer et Michael Littman
- KrabbOS un système d'Exploitation Minimal en Rust
- Analyseur Statique pour un langage mini-C en OCamL
- Compilateur pour un sous langage de Purescript en OCamL