Dense linear algebra subroutines for heterogeneous and distributed architectures

Extensions of GNU Guix for high-performance computing.

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.

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 tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.

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

Unofficial Inria beamer template

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

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/

A library to build experimental frameworks on multiple platforms

Command-line for ci.inria.fr.

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

PhD thesis LaTeX template for the 13 doctoral schools of Collège doctoral de Bretagne. Project initiated by former PhD students of the MATISSE doctoral school (formerly MathSTIC) in collaboration with the doctoral school.

Collection of CMake modules that can be shared among projects