Explore projects

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

bibtex-sw-entry

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

Unofficial Beamer template based on Inria color palette

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

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

Itauto: an Extensible Intuitionistic SAT Solver

Unofficial Inria beamer template

Web site of the Guix-HPC effort.

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

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

ProVerif symbolic protocol verifier

Teaching material for an industrial audience

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.