Explore projects

Extensions of GNU Guix for high-performance computing.

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

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)

An introduction level training course on Docker and Docker-compose.

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

Data Processing for Cartolabe

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

Documentation for the Titanic cluster

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

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.

TimageTK (Tissue Image Toolkit) is a Python package dedicated to image processing of multicellular architectures, such as plants or animals. It is intended for biologists, modelers and computer scientists.

Code to create a docker for multi-person tracking