Explore projects

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.

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

Mirror for CI/CD purposes only.

An LR(1) parser generator for OCaml.

The FAµST toolbox provides algorithms and data structures to decompose a given dense matrix into a product of sparse matrices in order to reduce its computational complexity. https://faust.inria.fr

Automatic speculative POLyhedraL Loop Optimizer

https://numpex-pc5.gitlabpages.inria.fr/tutorials

Python wrappers for the vt library

Mirror for CI/CD only

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

GitLab mirror of https://github.com/math-comp/math-comp