Explore projects

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

The FAµST toolbox provides algorithms and data structures to decompose a given dense matrix into a product of sparse matrices in order to reduce its computational complexity. https://faust.inria.fr

An LR(1) parser generator for OCaml.

Tools to check the accuracy of mathematical functions

Resources for course MPRI 2-4 on functional programming and type systems.

Mirror for CI/CD purposes only.

SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.

Extensions of GNU Guix for high-performance computing.

Mesures d'Encodage et Décodage Vidéo