Malo MONIN

Typst est un système de composition open source actuellement en développement, conçu pour atteindre la puissance de LaTeX avec une syntaxe plus simple à prendre en main et à utiliser, inspirée de celle de Markdown.

Mes contributions consistent en des rapports de bugs et suggestions de fonctionnalités, mais également de multiples pull requests. Je suis l’un des principaux contributeurs à codex, la bibliothèque utilisée par Typst pour définir les noms des symboles (comme eq.not pour « ≠ » ou arrow.l.long.squiggly pour « ⬳ »).

Typst is an open source typesetting language currently under development, made with the goal to be as powerful as LaTeX, while having a simpler syntax, similar to Markdown.

I contribute to Typst through bug reports, suggestions, as well as multiple pull requests. I am one of the main contributors to codex, the library used by Typst to define names for symbols, such as eq.not for “≠,” or arrow.l.long.squiggly for “⬳.”

L’Infératrice permet de dériver automatiquement des séquents étant donné un ensemble de règles d’inférence. Elle est également capable de trouver l’ensemble des valuations pour lesquelles un séquent comportant des variables libres est dérivable.

L’Infératrice a été implémentée en trois jours avec Grégoire Maire et Clara Moy dans le cadre d’un projet du module de théorie des langages programmation de la L3 SIF.

L’Infératrice (‘The Inferator’) can automatically derive sequents given a set of inference rules. You can also leave unbound variables in your query, and L’Infératrice will return a list of solutions to your problem.

L’Infératrice was implemented in three days together with Grégoire Maire and Clara Moy as part of the L3 SIF course on programming language theory.

Chaque année, Sinfonie, l’association du département d’informatique de l’ENS Rennes, organise un tournoi dans lequel des équipes conçoivent des programmes assembleur exécutés par des fourmis virtuelles. Les fourmis de chaque équipe s’affrontent dans des matchs au cours desquels elles doivent rapporter le plus de nourriture possible – initialement disséminée sur la carte – dans leurs bases respectives. La plupart des équipes procèdent en commençant par écrire un compilateur qui génèrera l’assembleur à partir d’un programme dans un langage de plus haut niveau.

Notre équipe, consituée de Nicolas Dassas-Henny, Grégoire Maire et moi-même, est arrivée troisième sur six équipes à l’édition 2023 ; et a remporté le Gala des fourmis, prix offert à l’équipe dont les fourmis réalisent la plus belle figure, grâce à cette image, affichée entièrement avec des fourmis, sur une grille hexagonale.

Each year, Sinfonie, the association of the computer science department at ENS Rennes, organizes a tournament where teams create assembly programs that are executed by virtual ants. Teams compete against each other in matches where their ants have to bring as much food as possible to their respective bases. Most teams start by writing a compiler that generates assembly from a program in a higher level language.

Our team—consisting of Nicolas Dassas-Henny, Grégoire Maire and myself—arrived third out of six teams at the 2023 edition. We also won the ant’s gala ball, which is awarded to the team whose ants realize the prettiest figure, for displaying this image out of ants, on a hexagonal grid.

Curryst est un paquet Typst permettant de réaliser des arbres de preuve. Curryst est entièrement écrit avec le langage de script intégré à Typst.

Curryst a été créé par Paul Adam, mais j’en suis le principal contributeur.

Curryst is a Typst package enabling the creation of proof trees. It is fully written in the scripting language integrated in Typst.

Curryst was created by Paul Adam, but I am the main contributor.

Board & Pieces est un paquet Typst permettant d’afficher des positions d’échecs sur un échiquier. Les positions peuvent être renseignées sous différents formats, tels que la notation Forsyth-Edwards. En particulier, il est possible d’indiquer une séquence de coups en notation algébrique, qui sont simulés de manière à générer les positions successives d’une partie. Le paquet supporte également l’import de fichiers PGN.

L’essentiel de la logique a lieu dans un plugin écrit en Rust, tandis que les fonctions d’affichage sont implémentées en Typst.

Le code source de Board & Pieces est disponible sur GitHub.

Board & Pieces is a Typst package that enables the user to display chess positions on a chessboard. Positions can be described in multiple formats, such as Forsyth–Edwards Notation. It is also possible to generate the successive positions of a chess game described in portable game notation.

Most of the logic happens in a plugin written in Rust. Functions that ultimately render a board are implemented in Typst.

Board & Pieces’ source code is publicly available on GitHub.

Unichar est un paquet Typst permettant à l’utilisateur de récupérer des données issues de la Unicode Character Database (UCD), une base de données répertoriant des informations à propos des caractères Unicode telles que leur nom, ou encore leur catégorie.

Le code source d’Unichar est disponible sur GitHub.

Unichar is a Typst package that gives access to information from the Unicode Character Database (UCD). The UDC is an inventory of informations about Unicode characters such as their names, or their categories.

Unichar’s source code is publicly available on GitHub.

Diagraph est un paquet Typst permettant d’utiliser Graphviz pour tracer des graphes. Diagraph utilise l’API C de Graphviz afin de générer un SVG qui pourra être affiché par Typst. Une partie de Diagraph est écrite en C et compilée en WebAssembly pour pouvoir être utilisée dans Typst via le système de plugins. L’autre partie est écrite en Typst, et constitue une interface entre le plugin et l’utilisateur final.

Diagraph a été créé par Tom Goalard, mais j’ai eu l’occasion d’effectuer de nombreux commits.

Diagraph is a Typst package that adds support for Graphviz to enable the creation of graphs in Typst. Diagraph uses Graphviz’s C API in order to generate a SVG that Typst can render. A part of Diagraph is written in C and compiled to a WebAssembly Typst plugin. The other part is written in Typst and constitutes the interface between the plugin and the final user.

Diagraph was created by Tom Goalard, but I contributed with numerous commits.

Brainzen est un langage de programmation de ma création, conçu pour être compilé vers du code Brainfuck. Le langage n’est, à ce jour, pas Turing-complet car il n’est pas encore possible d’écrire des fonctions récursives, ni de définir des structures de données de taille variable. Si les idées théoriques permettant de rendre possibles ces concepts sont déjà posées, il reste encore à les implémenter proprement dans le compilateur.

J’ai toutefois déjà implémenté une variante de l’algorithme A* en Brainzen.

Brainzen is a programming language I conceived with the goal to compile to Brainfuck code. Currently, Brainzen is not Turing-complete because it is impossible to write recursive functions, and because data structures with variable size are not supported. I do know how those two features can be implemented, but have not gotten to do it yet.

However, I already implemented a variation of the A* pathfinding algorithm in Brainzen.

Interpréteur Brainfuck optimisant.

J’ai écrit un interpréteur Brainfuck utilisant une représentation intermédiaire pour optimiser certains patterns afin d’accélérer l’exécution du programme. Le temps d’exécution d’un algorithme de tri généré avec Brainzen est ainsi divisé par dix. L’interpréteur, ainsi qu’une explication détaillée des optimisations effectuées, sont disponibles sur GitHub.

Optimizing Brainfuck interpreter.

I wrote a Brainfuck interpreter that uses an intermediate representation to optimize some patterns in order to make the execution faster. This shortens the execution time of a sorting algorithm generated with Brainzen by a factor of ten. The interpreter, as well as a detailed explanation of the optimizations it performs, are available on GitHub.

TIPE.

Dans le cadre de mon travail d’initiative personnelle encadré sur le thème « la ville », j’ai implémenté un algorithme de recherche d’itinéraire le plus rapide dans un réseau de transports en commun. L’algorithme calcule un itinéraire optimal dans un réseau de transports multimodal représenté par un graphe temporel, étant donnés des points de départ et d’arrivée et un horaire de départ, à l’instar de services comme Google Maps ou Citymapper. Le graphe du réseau et l’algorithme en lui même communiquent via une interface abstraite afin de rendre l’algorithme adapté à tout type de réseau, indépendamment de son implémentation.

TIPE.

For my travail d’initiative personnelle encadré—a personal project conducted by each student as part of CPGE—I implemented an optimal routing algorithm for transportation networks. The algorithm computes the shortest route in a multimodal transportation network represented by a time-dependent graph, given a starting point and time, and a destination. This is similar to services like Google Maps or Citymapper. The algorithm accesses the graph through an abstract interface, making it work with any kind of network, regardless of the underlying representation.

Mods Minecraft.

J’ai conçu et je maintiens quelques mods Minecraft simples qui règlent des problèmes du jeu en attendant des correctifs officiels. Ils sont disponibles publiquement sur la plateforme Modrinth.

Minecraft mods.

I have created and I maintain a few simple Minecraft mods fixing small issues, as temporary solutions until official patches are available. They are publicly available on Modrinth.

🐊 Croco-loop.

Ma contribution à la Croco-loop.

🐊 Croco-loop.

My contribution to the Croco-loop.