Explore projects

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

Dense linear algebra subroutines for heterogeneous and distributed architectures

Official repository for the CROCO model

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.

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.

Parallel Sparse Direct Solver

GUS feet: generation of a performance model from a pipedream-compatible ISA

PM2: Parallel Multithread Machine (source code)

IOLB tool that computes data movement complexity of an affine program

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.

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

Post-mortem analysis tool for StarPU scheduling studies

SParse Matrix Package

Flexible and extensible framework that integrates state-of-the-art methods for graph partitioning and sparse matrix ordering.

Core part of the ADT project ICOV (Interactive Coder for Omnidirectional Videos) All the source code in this project are meant to be shared publicly

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