Explore projects

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

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.

FLoRaSat (Framework for LoRa-based Satellite networks) is an Omnet++ based discrete-event simulator to carry out end-to-end satellite IoT simulations based on LoRa and LoRaWAN adaptations to the space domain.

SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.

PM2: Parallel Multithread Machine (source code)

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

Algorithms for computing the hyperbolicity of graphs

PM2: Parallel Multithread Machine

Time-Accurate Network Simulation Interconnecting Vms

This project contains the code developed in order to create dense subblocks of sparse matrices, through permutation of rows and columns.

Usage example to expand github actions commands in gitlab-ci.

Dense linear algebra subroutines for heterogeneous and distributed architectures

Dense linear algebra subroutines for heterogeneous and distributed architectures