Explore projects

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

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

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.

Teaching material for an industrial audience

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

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

Forked version of the matmul_bench repository

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

Large Scale Sensitivity Analysis

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

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

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

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.

Official repository for MATLAB tools for the CROCO model

Tools to check the accuracy of mathematical functions