Explore projects

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

Generating seminar of plateau de Saclay website https://bournez.gitlabpages.inria.fr/seminar-algorithms-of-plateau-saclay

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

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

A Unified Runtime System for Heterogeneous Multicore Architectures.

More informations on https://starpu.gitlabpages.inria.fr/

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

🐸 https://ribbit.gitlabpages.inria.fr/ribbit/ 🐸

Sources of the Abstract Categorial Development toolkit.

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

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

XLiFE++ is an extended finite element library developed in C++

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

Repository for ADAPT project (Adaptive Dynamical Approximations via Parallel Tensor methods). Parallel tensor formats definition, construction and multi-linear solvers.