Explore projects

Test Management tool (Testing session management, user, organization and system registration, network configuration, test plan and test execution, reporting).

Java model of GMM and TM (gazelle-model).

Mesures d'Encodage et Décodage Vidéo

Official repository for the CROCO model

Python wrappers for the vt library

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

https://numpex-pc5.gitlabpages.inria.fr/tutorials

Containerized documentation of customer environments

The FAµST toolbox provides algorithms and data structures to decompose a given dense matrix into a product of sparse matrices in order to reduce its computational complexity. https://faust.inria.fr

SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.