Explore projects

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

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

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

TPs d'entraînement à l'agreg

On empile, on dépile, et on se désopile.

Site statique de La Nuit

Probabilistic programming library for OCaml (MPRI 2.40 project).

Petite pancartes personnalisées avec les noms des coffeu.se.s pour l'AGB du S2

Le site de la *thèque

Website for the Jeulée