Explore projects

Test command-line applications through .should files

Explore resources from Inria's MC. https://grid5000.gitlabpages.inria.fr/resources-explorer

A library to build experimental frameworks on multiple platforms

The OpenViBE extras: Acquisition Server, demos, plugin contributions

The meta repository for building OpenViBE

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.

Sysadmin resources for guix-hpc

Extensions of GNU Guix for high-performance computing.

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

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Deep Neural Architecture for DNA.

https://numpex-pc5.gitlabpages.inria.fr/tutorials

Cado-NFS, An Implementation of the Number Field Sieve Algorithm

If you want to report bugs, or participate in cado-nfs development, read this