Explore projects

COREMATH Mission: provide ontheshelf opensource mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated 
Why3 is a software verification platform, featuring a versatile MLstyle language and interfaces to various powerful automated and interactive theorem provers.
Updated 
A Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated 
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.
Updated 
GNU MPFR is an efficient arbitraryprecision floatingpoint library with welldefined semantics (copying the good ideas from the IEEE 754 standard), in particular correct rounding in 5 rounding modes.
Updated 
Updated

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
Updated 
Minichameleon 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 matrixmatrix product and an LU factorization, first targeting a sequential implementation, followed by an SIMD version, a sharedmemory OpenMP one, a distributed memory MPI one, an MPI+OpenMP one and a runtimebased (StarPU) one.
Updated 
The OpenViBE SDK (certifiable perimeter). This mostly readonly 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.
Updated 
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
Updated 
Updated



Dense linear algebra subroutines for heterogeneous and distributed architectures
Updated 

Updated