Explore projects

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

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

This platform gives tools to manipulate Sanskrit data

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

TRISKELE stands for Tree Representations of Images for Scalable Knowledge Extraction and Learning for Earth observation

This project is originating from OBELIX team project from IRISA and aims to provide image hierarchical representations to be us

Sources of the Abstract Categorial Development toolkit.

Contains the code for the webinterface of botascopia

An introduction level training course on Docker and Docker-compose.

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

Sollya is a tool environment for safe floating-point code development. It is particularily targeted to the automatized implementation of libms. Amongst other features, it offers a certified infinite norm and a fast Remez algorithm.

Music transcription framework based on parsing for weighted regular tree grammars

Single-cell simulation framework/Plateforme de simulation en cellules uniques

A simple test platform for Comet

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