Explore projects

Le dépot de BELHOMME Orane. Désavantage : Les plans sont écrits point par point (donc pas en détails)(certain.es peuvent voir ça comme un avantage). Avantages : Tout est sourcé, parfois très précisément. Il y a les plans de toutes les leçons ainsi que des développements, parfois intégralement rédigés.

Code source de https://tps.azertoutes.aliens-lyon.fr

An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)

Code source de Perm'it, application de gestion centralisée de permanences : https://permit.aliens-lyon.fr/

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

Best IP Project of the ENS.