Explore projects

Scripts for testings and analysis

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Newton direct and Inverse Computation for Equilibrium

Doxygen doc https://blfauger.gitlabpages.inria.fr/nice

CaSQ: Celldesigner as Sbml-Qual

Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.

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.

Optimal Unstructured Remesher & ANisotropic Optimized Solver

Containerized documentation of customer environments

Sniff UWB packet

DW1000 driver

Automatic speculative POLyhedraL Loop Optimizer

Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms

Python wrappers for the vt library