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: Unofficial lecture notes from the Finite Dimensional Algebras course, given by prof. Jacques Thévenaz at EPFL during the spring semester of 2015.

• Théorie de Galois :flag_fr:: Unofficial lecture notes from the Galois Theory course, given by prof. Jacques Thévenaz at EPFL during the spring semester of 2014.

• Représentations des Groupes Finis :flag_fr:: Unofficial lecture notes from the Representation Theory of Finite Groups course, given by prof. Jacques Thévenaz at EPFL during the spring semester of 2013.

• Algebraic K-Theory: Unofficial lecture notes from the Algebraic K-Theory course, given by prof. Kathryn Hess at EPFL during the spring semester of 2013.

• Gödel and Recursivity: Unofficial and incomplete lecture notes from the Gödel and Recursivity course, given by prof. Jacques Duparc at EPFL during the spring semester of 2013.

• Set Theory: Unofficial lecture notes from the Set Theory course, given by prof. Jacques Duparc at EPFL during the fall semester of 2013.

• Representation Theory of the Symmetric Groups: Unofficial and incomplete lecture notes from the Representation Theory of the Symmetric Groups course, given by Geranios Haralampos at EPFL during the fall semester of 2013.

• Homotopie et Homologie :flag_fr:: Unofficial lecture notes from the Homotopie et Homologie course, given by prof. Kathryn Hess at EPFL during the fall semester of 2012.

Personal notes

• Stability of Lawvere Theories, work in progress, 2021.

• Notes on monad with arities & parametric right adjoints, 2019-07.

• Notes on Koszul duality, 2019-07.

• Notes on some Coq introduction and elimination rules, 2018-12.

• The Vector Convention , 2017: We introduce some conventions that promote shorter array handling notations.

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