Explore projects

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

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

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

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.

Heuristics for Heterogeneous Memory (H2M) - Runtime Library & Examples

The FAµST toolbox provides algorithms and data structures to decompose a given dense matrix into a product of sparse matrices in order to reduce its computational complexity. https://faust.inria.fr

Mini-chameleon is an educational purpose dense linear algebra solver. As provided, it essentially provides drivers while the actual computational routines remain to be completed. The goal is to implement a dense matrix-matrix product and an LU factorization, first targeting a sequential implementation, followed by an SIMD version, a shared-memory OpenMP one, a distributed memory MPI one, an MPI+OpenMP one and a runtime-based (StarPU) one.

The OpenViBE SDK (certifiable perimeter). This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

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

SParse Matrix Package

Dense linear algebra subroutines for heterogeneous and distributed architectures

A set of commonly used widgets written using Qt5.