Explore projects
-
Magnet / DecLearn / declearn2
Apache License 2.0Declearn - a modular and extensible python framework for Federated Learning
Updated -
-
-
GNU Guix packages of non-free HPC software, or free software depending on non-free software.
Updated -
GNU Guix packages of non-free HPC software, or free software depending on non-free software.
Updated -
guix-hpc / Guix-HPC
GNU General Public License v3.0 onlyExtensions of GNU Guix for high-performance computing.
Updated -
NumPex-PC5-WP3 / Guix-HPC
GNU General Public License v3.0 onlyExtensions of GNU Guix for high-performance computing.
Updated -
Updated
-
steep / TransKey
GNU General Public License v3.0 or laterUpdated -
-
solverstack / Chameleon
OtherDense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
-
-
-
starpu / starpu
GNU Lesser General Public License v2.1 onlyA Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated -
discovery / enoslib
GNU General Public License v3.0 onlyA library to build experimental frameworks on multiple platforms
Updated -
TAYEB Hayfa / StarPU multiprio scheduler
GNU Lesser General Public License v2.1 onlyUpdated -
Why3 / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
astec / ascidian
GNU General Public License v3.0 onlyUpdated