Explore projects

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

Voici le code que j'ai produit lors de mon stage à l'INRIA durant l'été 2019.