Vue d'ensemble des codes sources des composants de la plateforme StopCovid (version 1.0 à 1.X sur iOS et 1.Y sur Android). La V2.0 (et ses évolutions futures) est renommée TousAntiCovid. (voir README.md)

Dense linear algebra subroutines for heterogeneous and distributed architectures

Code source de l'application mobile Android

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.

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.

Code source de l'application mobile iOS

A library to build experimental frameworks on multiple platforms

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

A project providing digital recognition of handwritten documents using machine learning techniques.

An LR(1) parser generator for OCaml.

Former repository for the DBL LaTeX thesis template. Moved to: https://gitlab.inria.fr/ed-mathstic/latex-template.

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

Unofficial Inria beamer template

Parallel Sparse direct Solver

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

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