Explore projects

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

Resources for Cubers in BSO

Mirror for CI/CD purposes only.

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

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

Python wrappers for the dtk-core layer

Hierarchical Pattern-aided Regression

Gathers technical materials to follow on what has been learnt and what is to be learnt

FELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms