Règlement intérieur de la Délégation générale, annexes et traductions, à tenir à jour.

Un même code de simulation d'EDP1 1D

Report on my M2 internship as part of the MPRI.

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