Explore projects
-
AL QABBANI Muhammad / NaviDEC
GNU General Public License v3.0 or laterUpdated -
Gathers technical materials to follow on what has been learnt and what is to be learnt
Updated -
cado-nfs / cado-nfs
GNU Lesser General Public License v2.1 onlyCado-NFS, An Implementation of the Number Field Sieve Algorithm
If you want to report bugs, or participate in cado-nfs development, read this
Updated -
Updated
-
RAULIN Vincent / BAGUETTE-VERSE
GNU Affero General Public License v3.0Updated -
-
Updated
-
Updated
-
Updated
-
potential energy and gradients of potential energy of a set of springs
Updated -
kernelo-mistis / Planet-gllim-front-end
CeCILL Free Software License Agreement v2.1Updated -
Updated
-
Updated
-
Updated
-
Collection of CMake modules that can be shared among projects
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 -
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