Turbo Broccoli: A Python package containing JSON (de)serialization extensions. It makes it possible to embed
kerasmodels, etc. in a
dictand seemlessly pass it on to
json.dump, and conversely, reconstruct these objects using
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 (￣ω￣;).
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.
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.
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.