Explore projects

Unofficial Inria beamer template

Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)

Itauto: an Extensible Intuitionistic SAT Solver

bibtex-sw-entry

Teaching material for an industrial audience

Web site of the Guix-HPC effort.

ProVerif symbolic protocol verifier

Guide pratique prénom d'usage et civilité à Inria

SED support for https://gitlab.inria.fr/solverstack.

Heptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).

An R package for specifying and extracting data frames ready for data analysis from populations of MR images.

POMDP and rho-POMDP solver exploiting the Lipschitz-continuity of finite-horizon value functions (source code for NIPS 2018)

A version of TsunamiLab running on cluster-driven wall displays.

Collection of lessons and learning exercises for the polyhedral model, and organized into knowledge fragments.