Explore projects

This is the homework for the M2IF course CR16 "Graphs of High Chromatic Number" given by Marthe Bonamy and Stéphan Thomassé at ENS Lyon.

This is the homework and presentation for the M2IF course CR02 "Selected Topics in Information Theory" given by Samir Perlaza, Jean-Marie Gorce and Malcolm Egan at ENS Lyon. This work was done jointly with Ambroise Baril.

This is the homework for the M2IF course CR08 "Quantum Information and Computation" given by Omar Fawzi at ENS Lyon.

Simulateur d'une machine Enigma en Ocaml

Plein de jolis fichier coq pour s'entrainer, décrivant des preuves de tout et n'importe quoi.

Une extension Mediawiki permettant automatiquement de renommer les comptes utilisateur·rices sur le Wiki suivant les changements de l'identity provider

Site pour évaluer le nombre de gens intéressés par des initiations

Notre DM d'asr1

Our mission is to bring together like-minded people to brew their own beer using our professional grade kit in our own controlled, friendly and supportive environments. We welcome total beginners through to experienced brewers, to join our communit