| Programme | Langage | Description | Licence |
|---|---|---|---|
| Bibtex autocomplete | Python | Script console pour compléter des entrées bibtex à partir de crossref et autres | MIT |
| Site des interludes | Python (django) | Site web pour un événement étudiant, gérant inscriptions, planning et répartitions d'activités | MIT |
| Serveur photos | Python (django) | Site web pour le partage de photos des événements étudiants | MIT |
| Coq prettier makefile | OCaml | Petit script qui améliore l'affichage des makefiles Coq | BSD 3-Clause |
| Tex | LaTeX, Python | Templates LaTeX, fichiers style beamer et script de compilation | MIT |
| VSCode Embers | Thème sombre pour VSCode | BSD 3-Clause | |
| Site personnel | HTML, CSS, JS | Ce site web | |
| Recherche | |||
| Codex | OCaml | Librairie d'interprétation abstraite pour l'analyse de C et de binaire | GNU LGPL 2.1 |
| Binsec | OCaml | Outils pour l'analyse et la vérification de code au niveau binaire | GNU LGPL 2.1 |
| Cerise | Coq | Formalisation en coq d'une machine à capabilités | BSD 3-Clause |
| Céphalopode | FL, Bifröst | Processeur IoT pour la programmation fonctionnelle avec un ALU multi-precision | Apache 2.0 |
| Contributions | |||
| std++ | Coq | Extension de la librairie standard de Coq | BSD 3-Clause |
| VsCoq | JavaScript | Extension VS Code pour le language Coq | MIT |
| Divers/Archive | |||
| pkotlinc | OCaml | Compilateur d'un fragment de kotlin vers l'assembleur x86 | MIT |
| CDF2019 | C++ | Contrôle d'un robot (Arduino/RaspberryPi), coupe de France de robotique 2019 | |
| GrOS | C, assembleur | OS simplissimme (drivers clavier/console/disque dur ATA, scheduler) | |
| Mini processeur | OCaml, MiniJazz | Processeur programmable simpliste et simulateur associé | |
| SecBoot | C | Bootloader sécurisé et algorithmes cryptographiques (AES, ECC, SHA) | |
| csv2mdtable | C++ | Script transformant un fichier CSV en table markdown | MIT |
| vossii-fl | JavaScript | Support langage de Voss II (FL et Bifröst) dans VS Code | Apache 2.0 |