Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Application Django pour la gestion du COF
-
Updated
-
Mise en ligne des données utilisées pour la présentation du 15 juin. Code + table de données de départ extraites de la base WebOfScience (500 résultats les plus pertinents).
-
-
Une nouvelle version du serveur photos
-
-
Why3 proofs of functions using dynamic programming (MPRI 2.36.1 project).
-
OCaml implementation of a typer for System FOmega (MPRI 2.4 project).
-
Coq implementation and verification of a decision procedure for intuitionistic tautological properties (MPRI 2.7.2 project).
-
-
-
Le site du BOcal — revisité à la 2017. En django, et qui marche(ra).
-
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, ...)
-
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