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

# Personal notes

**Koszul duality**, 2019-07.**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

, 2022, proceedings of SIGBOVIK'22.`brainfuck++`

: a much needed extension to`brainfuck`