Explore projects

The web interface for searching grew patterns in corpora

CPU architecture performance evaluation tool

Test cases for the ParMmg library continuous integration

GitLab mirror of https://github.com/math-comp/math-comp

Music transcription framework based on parsing for weighted regular tree grammars

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

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

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

Simulators for DNA sequencing, consensus algorithms to get the original sequence

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

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

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

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

Containerized documentation of customer environments

GUS feet: generation of a performance model from a pipedream-compatible ISA