Explore projects

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.

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.

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/

MoReFEM core library.

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

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

Post-mortem analysis tool for StarPU scheduling studies

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

N-body simulation using kernel independent Fast Multipole Method

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

Music transcription framework based on parsing for weighted regular tree grammars

GNU MPFR is an efficient arbitrary-precision floating-point library with well-defined semantics (copying the good ideas from the IEEE 754 standard), in particular correct rounding in 5 rounding modes.

https://parcoach.github.io/

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

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