Explore projects

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

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

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

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

Third-party and/or experimental add-ons to the Vidjil platform

A fork of the STFC PSyclone repository to collect our object-oriented patches for use in Poseidon.

Python API and schedulers for Batsim

Showcase website

A library for constraint-based Hindley-Milner type inference.

Contains the code for the webinterface of botascopia

A library for constraint-based Hindley-Milner type inference.