Projects

• noisy-moo: A wrapper-based framework for pymoo problem modification and algorithm benchmarking. Initially developed to test KNN-averaging.

• 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.

Personal notes

• 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.

Other

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