Explore projects

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

bibtex-sw-entry

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

Itauto: an Extensible Intuitionistic SAT Solver

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

Unofficial Beamer template based on Inria color palette

Unofficial Inria beamer template

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

ProVerif symbolic protocol verifier

Web site of the Guix-HPC effort.

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

Teaching material for an industrial audience