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.
Updated -
UpdatedUpdated
-
-
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated -
-
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
Updated -
Updated
-
Adaptative Segmentation and Tracking of Embryonic Cells (developer version, python code only)
Updated -
SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.
Updated -
Updated
-
-
-
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
Updated -
-
-
-
-
Cado-NFS, An Implementation of the Number Field Sieve Algorithm
If you want to report bugs, or participate in cado-nfs development, read this
Updated