Hacker News
- Non-deterministic execution of Python functions https://gitlab.inria.fr/cpaperma/nondet 16 comments
- Compiler for the M language of the French DGFiP https://gitlab.inria.fr/verifisc/mlang 63 comments
- Source code of StopCovid19 – French national anticovid's program https://gitlab.inria.fr/stopcovid19 2 comments