Explore projects

Gabarit de style pour les présentations beamer adapté pour la charte graphique Inria 2024.

bibtex-sw-entry

Itauto: an Extensible Intuitionistic SAT Solver

Unofficial Beamer template based on Inria color palette

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

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.

Unofficial Inria beamer template

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

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

Web site of the Guix-HPC effort.

Material for developer meetups. https://sed-paris.gitlabpages.inria.fr/developer-meetups

ProVerif symbolic protocol verifier

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

Teaching material for an industrial audience

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

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