Explore projects

Extensions of GNU Guix for high-performance computing.

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.

Some slides about the gitlabci gallery project

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.

An LR(1) parser generator for OCaml.

Gabarit de style pour les présentations beamer adapté pour la charte graphique Inria 2024.

Declearn - a modular and extensible python framework for Federated Learning

Parallel Sparse Direct Solver

A library to build experimental frameworks on multiple platforms

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

Comet is a pipelined RISC-V processor generated with HLS.

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

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.