A Unified Runtime System for Heterogeneous Multicore Architectures.

More informations on https://starpu.gitlabpages.inria.fr/

A federated learning framework for empowering biomedical research

PM2: Parallel Multithread Machine (source code)

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.