Explore projects

Dense linear algebra subroutines for heterogeneous and distributed architectures

Extensions of GNU Guix for high-performance computing.

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.

Welcome to the gitlabci gallery! Please start by reading this first.

An LR(1) parser generator for OCaml.

A library to build experimental frameworks on multiple platforms

Parallel Sparse direct Solver

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

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

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.

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

Unofficial Inria beamer template

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

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.