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

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

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