Explore projects

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Project for StarPU website

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

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.

CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries

Official repository for the CROCO model

isogeometric solver for PDE systems

SParse Matrix Package

SParse Matrix Package

Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.

Dense linear algebra subroutines for heterogeneous and distributed architectures