Explore projects

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

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.

MoReFEM core library.

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

Post-mortem analysis tool for StarPU scheduling studies

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.

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

Treerecs is an open-source (species- and gene-) tree reconciliation software.

It can correct, rearrange and (re-)root gene trees with regard to a given species tree.

Please visit https://project.inria.fr/treerecs/ for more about Treerecs

IOLB tool that computes data movement complexity of an affine program

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

ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.

XLiFE++ is an extended finite element library developed in C++

SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.

A distributed multi-task learning system for neural networks. Including a clustering-based collaboration recommendation system.

Pallas is a scalable trace format for HPC applications.

Provide the gnomon core functionalities.

A tool to convert CGNS files to Gamma Mesh (libMeshb) Format

SED support for https://gitlab.inria.fr/solverstack.

dtk is a meta-platform for modular scientific platform development.