Explore projects

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

Mirror for CI/CD purposes only.

Official repository for the CROCO model

This platform gives tools to manipulate Sanskrit data

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

This package implements the algorithms relying on Picard-Lefschetz theory for computing periods of algberaic varieties.

Parallel Sparse Direct Solver

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

algorithm for joint pitch spelling and global and local key estimation

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