| Program | Language | Descriptions | License |
|---|---|---|---|
| Bibtex autocomplete | Python | Console script to complete bibtex entries by polling crossref and other sources | MIT |
| Interludes website | Python (django) | Website for a student event, handles registrations, event planning and activities | MIT |
| Photo server | Python (django) | Photo sharing website for student events | MIT |
| Coq prettier makefile | OCaml | Small script to improve the display of Coq makefiles | BSD 3-Clause |
| Tex | LaTeX, Python | LaTeX templates, beamer style files and compile script | MIT |
| VSCode Embers | VSCode dark theme | BSD 3-Clause | |
| Personal website | HTML, CSS, JS | This website | |
| Research | |||
| Codex | OCaml | Abstract interpretation library for binary and C code analysis | GNU LGPL 2.1 |
| Binsec | OCaml | Toolset for binary-level code analysis and verification | GNU LGPL 2.1 |
| Cerise | Coq | Coq program logic for a capability machine | BSD 3-Clause |
| Cephalopode | FL, Bifröst | IoT processor for functional programming with an arbitrary-precision ALU | Apache 2.0 |
| Contributions | |||
| std++ | Coq | An extended standard library for Coq | BSD 3-Clause |
| VsCoq | JavaScript | Extension that adds Coq support to VS Code | MIT |
| Misc/Archive | |||
| pkotlinc | OCaml | Compileur from a subset of kotlin to x86 assembly | MIT |
| CDF2019 | C++ | Robot control program (Arduino/RaspberryPi), France's 2019 Robotics Cup | |
| GrOS | C, assembly | Minimalistic OS with basic functions (keyboard/screen/ATA hard drive drivers, scheduler) | |
| Tiny processor | OCaml, MiniJazz | Simple programmable processor and simulator | |
| SecBoot | C | Secure bootloader and cryptographic algorithms (AES, ECC, SHA) | |
| csv2mdtable | C++ | Small script to translate a CSV file into a markdown table | MIT |
| vossii-fl | JavaScript | Voss II (FL and Bifröst) language support in VS Code | Apache 2.0 |