Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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).
-
Why3 proofs of functions using dynamic programming (MPRI 2.36.1 project).
-
OCaml implementation of a typer for System FOmega (MPRI 2.4 project).
-
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