Explore projects

Dense linear algebra subroutines for heterogeneous and distributed architectures

Extensions of GNU Guix for high-performance computing.

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

Parallel Sparse direct Solver

An LR(1) parser generator for OCaml.

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

Declearn - a modular and extensible python framework for Federated Learning

A library to build experimental frameworks on multiple platforms

MRF (Malia Rendering Framework) is an open source library for predictive, physically-realistic rendering.

It comes with several applications, including a spectral path tracer, RGB-to-spectral conversion routines.

Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.

Command-line for ci.inria.fr.

Unofficial Inria beamer template

Collection of CMake modules that can be shared among projects

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

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

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

A federated learning framework for empowering biomedical research

Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)