Explore projects

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

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

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 open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

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.

MoReFEM core library.

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

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

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

Post-mortem analysis tool for StarPU scheduling studies

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.

IOLB tool that computes data movement complexity of an affine program

N-body simulation using kernel independent Fast Multipole Method

Demo website for Palmed. Intended to be publicly available.

Pallas is a scalable trace format for HPC applications.

A Coq formalization of real analysis compatible with the standard library.

Official repository for "Intracranial Aneurysm Detection: An object detection perspective" paper

A tool to do conversions between Gamma Mesh Format (see libMeshb) files and VTK files for ParaView

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

Music transcription framework based on parsing for weighted regular tree grammars