Explore projects

Extensions of GNU Guix for high-performance computing.

Open Source Framework for IntelligentCinematography and Editing of Live Performances

ProVerif symbolic protocol verifier

Optimal Unstructured Remesher & ANisotropic Optimized Solver

Additional ROS drivers for the Pepper robot.

PM2: Parallel Multithread Machine (source code)

Contains the code for the webinterface of botascopia

Deep Neural Architecture for DNA.

The meta repository for building OpenViBE

GNU MPFR is an efficient arbitrary-precision floating-point library with well-defined semantics (copying the good ideas from the IEEE 754 standard), in particular correct rounding in 5 rounding modes.

Mirror for CI/CD only

FELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/