Explore projects
-
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated -
Why3 is a software verification platform, featuring a versatile ML-style 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 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.
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 -
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.
Updated -
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.
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