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

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

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

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

An experimental study based on the test_FEMBEM solver

Project for StarPU website