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
-
Juptyter notebooks for use cases using solvers of the nutopy toolbox and bocop code
-
-
Repository for Inverse Shortest Path problem
-
-
-
Verifiable online voting system http://www.belenios.org
-
A library for constraint-based Hindley-Milner type inference.
-
A library for constraint-based Hindley-Milner type inference.
-
Numerical implementation of AMG (Atomic based Method for Gridless), an off-the-grid method for curves reconstruction in particular in biomedical applications (vessels, tubular imaging, etc.)
-
An OpenAI Gym crop management environment for Reinforcement Learning (RL), based on the Decision Support System for Agrotechnology Transfer (DSSAT) crop model.
-
Tapenade Automatic Differentiation Engine
-
C++ library for operational research
-
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.