Explore projects

Itauto: an Extensible Intuitionistic SAT Solver

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

ProVerif symbolic protocol verifier

An R package for specifying and extracting data frames ready for data analysis from populations of MR images.

A fork of MATISSE's thesis template

Tools to check the accuracy of mathematical functions

Implementation of CRDTp and CRDTd encapsulation mecanisms to evaluate ACCURE - see accure.rigelk.eu

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

Diaporama pour la rencontre sur les logiciels libres de recherche

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

Generates a bibliography for our website.

Implementing symbolic data structure numeric grounding

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