E2Clab enables the Computing Continuum vision by allowing reproducible experimental research on large-scale testbeds. It supports the complete experimental cycle across the Computing Continuum: deployment, analysis, and optimization.

Resources for course MPRI 2-4 on functional programming and type systems.

Python API and schedulers for Batsim

This platform gives tools to manipulate Sanskrit data

IceSL documentation wiki

Speculative task-based runtime system

Binary analysis program. Looks at a CFG and analyzes its bits.

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

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

Ocaml library for grew

PM2: Parallel Multithread Machine (source code)

Repo related to the Machine Learning class in the Physics of Complex Systems (PCS) Master program.

hampath