Explore projects

Extensions of GNU Guix for high-performance computing.

Declearn - a modular and extensible python framework for Federated Learning

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)

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

Data Processing for Cartolabe

Deep Neural Architecture for DNA.

Melissa is a file-avoiding, fault-tolerant, and elastic framework designed for large-scale sensitivity analysis and large-scale deep surrogate training on supercomputers.

Core part of the ADT project ICOV (Interactive Coder for Omnidirectional Videos) All the source code in this project are meant to be shared publicly

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

Implementation of an anonymous credential, where the Verifier cannot learn who is the Issuer of a given signature.

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

Documentation for the Titanic cluster