Explore projects

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

GNU Guix packages of non-free HPC software, or free software depending on non-free software.

Showcase website

Client lib to contact Gazelle SSO (Keycloak).

Dense linear algebra subroutines for heterogeneous and distributed architectures

The OpenViBE Designer project. This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

Extensions of GNU Guix for high-performance computing.

Heptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).

Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.

A Coq formalization of real analysis compatible with the standard library.

A library to build experimental frameworks on multiple platforms