Explore projects

Cado-NFS, An Implementation of the Number Field Sieve Algorithm

If you want to report bugs, or participate in cado-nfs development, read this

Mirror for CI/CD purposes only.

CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries

Components to build, mirror, and check container images, using Buildah and Skopeo

Dense linear algebra subroutines for heterogeneous and distributed architectures

An LR(1) parser generator for OCaml.

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

Automatic speculative POLyhedraL Loop Optimizer

Dense linear algebra subroutines for heterogeneous and distributed architectures

Verifiable online voting system http://www.belenios.org

Collection of algorithms (exact, heuristics, bounds) for the cut width of graphs.

PM2: Parallel Multithread Machine (source code)