Explore projects

Sysadmin resources for guix-hpc

This is a repository used to store the coverage report as a static webpage

Gathers technical materials to follow on what has been learnt and what is to be learnt

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

Verifiable online voting system http://www.belenios.org

Mirror for CI/CD purposes only.

Dense linear algebra subroutines for heterogeneous and distributed architectures

Discrete Exterior Calculus library in Python mostly targeted toward multicellular tissue modeling.

This is the public project for Damaris. In this project the main line of source codes. The latest version of the documentation is stored here: https://project.inria.fr/damaris/documentation/.

Generic service to manage geo-distributed resources