Explore projects

Updated

Updated

Music transcription framework based on parsing for weighted regular tree grammars
Updated 
CadoNFS, An Implementation of the Number Field Sieve Algorithm
If you want to report bugs, or participate in cadonfs development, read this
Updated 
Generating seminar of plateau de Saclay website https://bournez.gitlabpages.inria.fr/seminaralgorithmsofplateausaclay
Updated 
COREMATH Mission: provide ontheshelf opensource mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated 
Why3 is a software verification platform, featuring a versatile MLstyle language and interfaces to various powerful automated and interactive theorem provers.
Updated 
Updated

A Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated 
Simulators for DNA sequencing, consensus algorithms to get the original sequence
Updated 

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
Updated 
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofsalgorithms
Updated 
XLiFE++ is an extended finite element library developed in C++
Updated 

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