Explore projects

Dense linear algebra subroutines for heterogeneous and distributed architectures

Algorithms for computing the k shortest simple paths from a source to a destination in a weighted directed graph.

Sources of the Abstract Categorial Development toolkit.

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

PM2: Parallel Multithread Machine (source code)

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

Time-Accurate Network Simulation Interconnecting Vms

PM2: Parallel Multithread Machine

N-body simulation using kernel independent Fast Multipole Method

dtk-distributed provides all the mechanisms to perform distributed calculations.

Comet is a pipelined RISC-V processor generated with HLS.

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

https://parcoach.github.io/

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

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.