Explore projects

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

Shallow Water Equation Environment for Tests, Awesome!

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

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

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

PM2: Parallel Multithread Machine

Automatic speculative POLyhedraL Loop Optimizer

PM2: Parallel Multithread Machine (source code)

Dense linear algebra subroutines for heterogeneous and distributed architectures

See new repository at: https://src.koda.cnrs.fr/eric.debreuve/obj.mpp

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

Multiscale simulation of cell populations/Simulations multi-échelles de populations cellulaires