Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
A Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
-
A federated learning framework for empowering biomedical research
-
-
A library for constraint-based Hindley-Milner type inference.
-
An OpenAI Gym crop management environment for Reinforcement Learning (RL), based on the Decision Support System for Agrotechnology Transfer (DSSAT) crop model.
-
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
-
PowerFun is a follow-up project to the various works on the realization of the intestinal microbiota system. The objective of the project is to determine which nutrients are necessary for the system to produce the components of interest.
-
This is the public project for Damaris. In this project the main line of source codes. The latest version of the documentation is stored here: https://project.inria.fr/damaris/documentation/.
-
The MorphoNet Unity git
-
-
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
-
User documentation of Inria's Continuous Integration services
-
SParse Matrix Package
-
implementation and metatheory of time credits and time receipts in Iris / Coq
-
A generator of debugger for the Skel language for semantics description
-
The OpenViBE extras: Acquisition Server, demos, plugin contributions
-
hampath
-
A framework for exploring the depths of hyperparameter space with Hydra and MLflow.