GitLab

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).

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

RFCs pour la communauté normalienne « technique »

TPs d'entraînement à l'agreg

Site statique de La Nuit

Site statique de La Nuit

Probabilistic programming library for OCaml (MPRI 2.40 project).

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

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

Website for the Ready, Make, Play! event

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.

Une nouvelle version du serveur photos