GitLab

Une nouvelle version du serveur photos

Script python dont le but est de gérer un automate à état dont les transitions sont déclenchées par des évènements extérieurs (handler http, message mqtt, ...)

Coq implementation and verification of a decision procedure for intuitionistic tautological properties (MPRI 2.7.2 project).

Site statique de La Nuit

RFCs pour la communauté normalienne « technique »

Setup shlag à base de raspberry pi qui regarde si la poubelle d'hackens est pleine

Website for the Ready, Make, Play! event

TPs d'entraînement à l'agreg

On empile, on dépile, et on se désopile.

Langage de description des chansons (harmonie + paroles, sans indication de mélodie ou de rythme mélodique précis). Génération de fichiers LaTeX (contenant les paroles et les accords correctement alignés) et de backing tracks en midi.

Site statique de La Nuit

Petite pancartes personnalisées avec les noms des coffeu.se.s pour l'AGB du S2