Explore projects

Declearn - a modular and extensible python framework for Federated Learning

Data Processing for Cartolabe

Mirror for CI/CD purposes only.

dtk logging framework

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

https://dd-rennes.gitlabpages.inria.fr/

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

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

conda recipes for building dtk, dtk layers and plugins