Explore projects

Dense linear algebra subroutines for heterogeneous and distributed architectures

Official repository for the CROCO model

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

A framework for exploring the depths of hyperparameter space with Hydra and MLflow.

A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Declearn - a modular and extensible python framework for Federated Learning

A library to build experimental frameworks on multiple platforms

https://learninglab.gitlabpages.inria.fr/serious-game/smartphone

FELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/

Fed-BioMed moved to https://github.com/fedbiomed/fedbiomed

A federated learning framework for empowering biomedical research

bibtex-sw-entry

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