Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Verifiable online voting system http://www.belenios.org
Updated -
-
Updated
-
An OpenAI Gym crop management environment for Reinforcement Learning (RL), based on the Decision Support System for Agrotechnology Transfer (DSSAT) crop model.
Updated -
Declearn - a python package for private decentralized learning.
Updated -
Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)
Topics: Mooc resourcesUpdated -
-
Toolkit to manage sets of closed intervals.
Updated -
-
-
-
Large Scale Sensitivity Analysis
Updated -
Python API and schedulers for Batsim
Updated -
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.
Updated -
DEPRECATED, MOVED TO GITHUB https://github.com/MLanguage/mlang
Updated -
Code source de l'application mobile Android
Updated -
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
Updated -
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)
Updated -
-
Former repository for the DBL LaTeX thesis template. Moved to: https://gitlab.inria.fr/ed-mathstic/latex-template.
Updated