Mentions légales du service
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.
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