Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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).
-
-
-
Updated
-
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
-