Explore projects
-
Updated
-
Updated
-
Music transcription framework based on parsing for weighted regular tree grammars
Updated -
Cado-NFS, An Implementation of the Number Field Sieve Algorithm
If you want to report bugs, or participate in cado-nfs development, read this
Updated -
Generating seminar of plateau de Saclay website https://bournez.gitlabpages.inria.fr/seminar-algorithms-of-plateau-saclay
Updated -
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated -
Why3 is a software verification platform, featuring a versatile ML-style 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/proofs-algorithms
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 multi-linear solvers.
Updated