Explore projects

Extensions of GNU Guix for high-performance computing.

Dense linear algebra subroutines for heterogeneous and distributed architectures

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

Official repository for the CROCO model

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.

An LR(1) parser generator for OCaml.

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

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

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.

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

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

MoReFEM core library.

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