Explore projects

Unofficial Inria beamer template

Project moved to https://gitlab.com/ed-matisse/latex-template.

Former repository for the PhD thesis LaTeX template for the 13 doctoral schools of Collège doctoral de Bretagne. Project initiated by former PhD students of the MATISSE doctoral school (formerly MathSTIC) in collaboration with the doctoral school.

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

Itauto: an Extensible Intuitionistic SAT Solver

bibtex-sw-entry

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

Web site of the Guix-HPC effort.

Teaching material for an industrial audience

ProVerif symbolic protocol verifier

Former repository for the DBL LaTeX thesis template. Moved to https://gitlab.com/ed-matisse/latex-template.

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.