Mentions légales du service
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
A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Fed-BioMed moved to https://github.com/fedbiomed/fedbiomed
A federated learning framework for empowering biomedical research
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
Verifiable online voting system
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.
Utility scripts and a matching Python module for MLflow.