Explore projects

Tapenade Automatic Differentiation Engine

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

The meta repository for building OpenViBE

Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms

Music transcription framework based on parsing for weighted regular tree grammars

solvers for the MEG inverse problem.

Library to auth users (OIDC) or machines (M2M) in Gazelle for application under JDK 21 (previously JDK17).

Extensions of GNU Guix for high-performance computing.

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