Explore projects

Find Inventors and Discovery Game by Inria Unity "Game" in VR (oculus) for homo numericus exibition

SED support for https://gitlab.inria.fr/solverstack.

Web site of the Guix-HPC effort.

Music transcription framework based on parsing for weighted regular tree grammars

Large Scale Sensitivity Analysis

This project contains the code developed in order to create dense subblocks of sparse matrices, through permutation of rows and columns.

The g5kspack tool provides helper functions to manage a spack installation.

A distributed multi-task learning system for neural networks. Including a clustering-based collaboration recommendation system.

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

Code source de l'application mobile Android