Explore projects
-
-
Updated
-
-
Updated
-
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 -
Updated
-
Magnet / DecLearn / declearn2
Apache License 2.0Declearn - a modular and extensible python framework for Federated Learning
Updated -
Updated
-
Pallas / Pallas
BSD 3-Clause "New" or "Revised" LicensePallas is a scalable trace format for HPC applications.
Updated -
-
kernelo-mistis / kernelo-gllim-is
CeCILL-C Free Software License AgreementUpdated -
-
learninglab / epoc / epoc-editor
CeCILL-B Free Software License AgreementUpdated -
Updated
-
-
Updated
-
NumPex-PC5-WP3 / Guix-HPC
GNU General Public License v3.0 onlyExtensions of GNU Guix for high-performance computing.
Updated -
Humanlab Inria / exofinger
CeCILL Free Software License Agreement v2.1Prototypage pour Exofinger
Updated -