L'objectif de ce projet est de réaliser un analyseur statique pour le mini-langage WHILE en utilisant l'interprétation abstraite. L'analyseur calcule, pour chaque variable d'un programme, un intervalle abstrait sur-approximant l'ensemble des valeurs qu'elle peut prendre à la sortie du programme.

Caisse est un jeu développé en OCaml où l'on incarne une caisse qui doit s'enfuir d'un entrepôt. Malheureusement, l'entrepôt est une suite de labyrinthes. Plusieurs algorithmes de labyrinthes sont possibles.

La main à la pâte (LMP) est un site internet de recettes collaboratives. Chacun peut se glisser dans la toque d'un chef, afin de créer, partager et étendre de nombreuses recettes de cuisine.

C'est un peu par hasard que j'ai découvert le langage ésotérique Moo. Je l'ai trouvé amusant et l'ai implémenté en OCaml.

RAM, pour « Random Access Markdown », désigne ici une application permettant de gérer des notes au format Markdown afin d'étudier des sujets spécifiques. Il est possible d'ajouter de nouveaux sujets, de les accompagner d'une note. Le bouton « aléatoire » permet d'attraper un sujet aléatoire dans le but de le travailler.

Tedium est un jeu en C d'un petit monstre qui se déplace sur la carte afin de sortir d'un donjon.

TomatOS est un projet qui a pour objectif d'apprendre le fonctionnement d'un système d'exploitation et de son noyau par la pratique.

Mini jeu qui utilise les commandes Vim pour supprimer des caractères corrompus dans une suite de mots saine. L'objectif est d'être le plus rapide.