Projects
Turbo Broccoli: A Python package containing JSON (de)serialization extensions. It makes it possible to embed
bytes
,numpy
arrays,keras
models, etc. in adict
and seemlessly pass it on tojson.dump
, and conversely, reconstruct these objects usingjson.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 🇫🇷: 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 🇫🇷: 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 🇫🇷: 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 tobrainfuck
, 2022, proceedings of SIGBOVIK'22.