Explore projects
-
Damien Robert / avisogenies
GNU Lesser General Public License v2.1 onlyAVIsogenies (Abelian Varieties and Isogenies)
Updated -
AMIBIO / Infrared
GNU General Public License v3.0 onlyA framework for declarative modeling and efficient tree decomposition based optimization and Boltzmann sampling
Updated -
pirat-public / casinolimit
GNU Affero General Public License v3.0Updated -
grid5000 / kwollect
MIT LicenseUpdated -
nixos-compose / nixos-compose
MIT LicenseUpdated -
Armaël Guéneau / 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
-
Updated
-
Updated
-
Updated
-
-
Builds multi-language compilation packages and related documentation
Updated -
Hsplit / hsplit
GNU General Public License v3.0 or laterHardware split of MPI communicators
Updated -
Ecodiag is an ecoinfo's web tool to evaluate GHG emissions related to IT devices.
Updated -
Musca / PyDynPeak
GNU General Public License v3.0 or laterUpdated -
Dense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
PianoTouch / pianolib
GNU General Public License v3.0 onlyUpdated -
Updated