Explore projects

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

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

A tool to do conversions between Gamma Mesh Format (see libMeshb) files and VTK files for ParaView

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

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

Large Scale Sensitivity Analysis

PM2: Parallel Multithread Machine (source code)

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

https://parcoach.github.io/

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.

Teaching material for an industrial audience

Music transcription framework based on parsing for weighted regular tree grammars

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

The OpenViBE Designer project. This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.