Explore projects

A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.

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.

Real-time capable task-space capacity evaluation python module https://auctus-team.gitlabpages.inria.fr/people/antunskuric/pycapacity/

Itauto: an Extensible Intuitionistic SAT Solver

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

ProVerif symbolic protocol verifier

notes de thèse pour Pierre-Antoine Rault - dernier rapport

How to use Org mode and Guix to build a reproducible experimental study

Python class to help calling VARNA [API page] https://amibio.gitlabpages.inria.fr/varna-api/

Gathers technical materials to follow on what has been learnt and what is to be learnt

Repository for ADAPT project (Adaptive Dynamical Approximations via Parallel Tensor methods). Parallel tensor formats definition, construction and multi-linear solvers.

Diaporama pour la rencontre sur les logiciels libres de recherche

Transmorpher is a software environment for defining and processing complex transformations of XML documents.