Explore projects

Extensions of GNU Guix for high-performance computing.

https://learninglab.gitlabpages.inria.fr/serious-game/smartphone

Collection of CMake modules that can be shared among projects

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

Vue d'ensemble des codes sources des composants de la plateforme StopCovid (version 1.0 à 1.X sur iOS et 1.Y sur Android). La V2.0 (et ses évolutions futures) est renommée TousAntiCovid. (voir README.md)

Official repository for "Intracranial Aneurysm Detection: An object detection perspective" paper

Data Processing for Cartolabe

Deep Neural Architecture for DNA.

A C program for solving the heat propagation equation in 2D. Serves also as a toy project for playing with gitlab, gitlab-ci, Jenkins, SonarQube, etc.

https://mosaic.gitlabpages.inria.fr/mosaic-commons

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

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

Documentation for the Titanic cluster

Example of docker in docker usage with a shared runner.