Explore projects

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

Mirror for CI/CD only

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

Mirror for CI/CD purposes only.

algorithm for joint pitch spelling and global and local key estimation

MoReFEM core library.

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

Adaptative Segmentation and Tracking of Embryonic Cells (developer version, python code only)

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

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

Official repository for the CROCO model

MoReFEM core library.

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

Web site of the Guix-HPC effort.

Resources for Cubers in BSO

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

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

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