Explore projects

Dense linear algebra subroutines for heterogeneous and distributed architectures

Declearn - a modular and extensible python framework for Federated Learning

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 library to build experimental frameworks on multiple platforms

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

Collection of CMake modules that can be shared among projects

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

A federated learning framework for empowering biomedical research

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

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

User documentation of Inria's Continuous Integration services

An experimental GUI programming toolkit based on the Entity-Component-System (ECS) model

Verifiable online voting system http://www.belenios.org

SParse Matrix Package

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