Explore projects

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

Core part of the ADT project ICOV (Interactive Coder for Omnidirectional Videos) All the source code in this project are meant to be shared publicly

Unified Microscopic Agent Navigation Simulator: A crowd-simulation engine that captures many local microscopic simulation algorithms in a single framework.

Forked version of the matmul_bench repository

Large Scale Sensitivity Analysis

Mapping a tensor to a lower-dimensional tensor, optionally permuting its dimensions. This project strives to generate loop iterating over these structures.

Mapping a tensor to a lower-dimensional tensor, optionally permuting its dimensions. This project strives to generate loop iterating over these structures.

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

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.

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

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.

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

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

Teaching material for an industrial audience

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

Official repository for MATLAB tools for the CROCO model