Verifiable online voting system http://www.belenios.org

Various tools to run scientific computer experiments.

An OpenAI Gym crop management environment for Reinforcement Learning (RL), based on the Decision Support System for Agrotechnology Transfer (DSSAT) crop model.

Declearn - a python package for private decentralized learning.

Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)

Toolkit to manage sets of closed intervals.

SParse Matrix Package

Biocham-4 sources and CI

bibtex-sw-entry

Large Scale Sensitivity Analysis

Python API and schedulers for Batsim

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.

DEPRECATED, MOVED TO GITHUB https://github.com/MLanguage/mlang

Code source de l'application mobile Android

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

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 general Docker wrapper to cap memory and cpu usage

Former repository for the DBL LaTeX thesis template. Moved to: https://gitlab.inria.fr/ed-mathstic/latex-template.