Projects

Turbo Broccoli: A Python package containing JSON (de)serialization extensions. It makes it possible to embed bytes, numpy arrays, keras models, etc. in a dict and seemlessly pass it on to json.dump, and conversely, reconstruct these objects using json.load.
kappak: My LaTeX package. It regroups functionalities I find useful, from general style of LaTeX documents (title page, chapter style, header / footer, …), to more specific math related commands (theorem environments, commutative diagrams, …). Consequently, it might not be as useful for you as it is for me, but you are welcome to give a try. Wiki-that-might-or-might-not-be-up-to-date (￣ω￣;).
s3backup: This docker image performs incremental backups of a given volume to an S3 storage using restic and rclone.
potatos: Personal OS experiment in C++. When you press a key it display what key you just pressed yay.
SeAT Navy Issue: simpler alternative to SeAT. In short, it is an EVE Online community manager, in the form of a REST API. Its core functionalities include: managing corporations, alliances, and even coalitions; creating and managing custom groups; storing and refreshing ESI tokens; making queries against the ESI; a simplistic clearance system; and a Discord and Teamspeak connector. Note that this project is just a backend. For a nice web-based user interface, check out SNI-frontend.

Selected lecture notes

Homotopy Theory of Strict ω-Categories, 2017-09: Unofficial notes from the lectures of François Métayer, given during the conference Categories in Homotopy Theory and Rewriting held at CIRM in September 2017.
Finite Dimensional Algebras, spring 2015: Unofficial lecture notes from the Finite Dimensional Algebras course, given by prof. Jacques Thévenaz at EPFL during the spring semester 2015.
Théorie de Galois, spring 2014: Unofficial lecture notes from the Galois Theory course, given by prof. Jacques Thévenaz at EPFL during the spring semester 2014.
Set Theory, fall 2013: Unofficial lecture notes from the Set Theory course, given by prof. Jacques Duparc at EPFL during the fall semester 2013.
Représentations des Groupes Finis, spring 2013: Unofficial lecture notes from the Representation Theory of Finite Groups course, given by prof. Jacques Thévenaz at EPFL during the spring semester 2013.

Monad with arities & parametric right adjoints, 2019-07.
Koszul duality, 2019-07.
Some Coq introduction and elimination rules, 2018-12.
The Vector Convention , 2017: We introduce some conventions that promote shorter array handling notations.
Notes on the Tensor Product of Axiomatized Algebraic Theories and their Stability, 2015: In this personal project, we investigate the categories encoding axiomatized algebraic theories, and the associated categories of models. A tensor product or theories is constructed, and we try to investigate the iterated tensor of a given theory. An algebraic invariant is constructed and computed for classical examples. It however turns out to be too weak for meaningful results.
Quasi Categories, 2014: This semester project introduces a first notion of (strict) ∞-categories via enrichment. Another approach, namely quasi categories, is then presented, along with results about the “homotopical category – nerve” adjunction. Finally, adjunctions in 2-categories, and limits in term of absolute lifting property are discussed.

brainfuck++: a much needed extension to brainfuck, 2022, proceedings of SIGBOVIK'22.