Explore projects

Music transcription framework based on parsing for weighted regular tree grammars

A tool to convert CGNS files to Gamma Mesh (libMeshb) Format

Large Scale Sensitivity Analysis

SED support for https://gitlab.inria.fr/solverstack.

Teaching material for an industrial audience

PM2: Parallel Multithread Machine (source code)

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

A C program for solving the heat propagation equation in 2D. Serves also as a toy project for playing with gitlab, gitlab-ci, Jenkins, SonarQube, etc.

This project contains the code developed in order to create dense subblocks of sparse matrices, through permutation of rows and columns.

https://parcoach.github.io/

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

XLiFE++ is an extended finite element library developed in C++

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.

Flexible and extensible framework that integrates state-of-the-art methods for graph partitioning and sparse matrix ordering.