Explore projects
-
LASHERMES Ronan / Binutils_with_fences
GNU Library General Public License v2 onlyUpdated -
POLET Pierre-Etienne / llvm-project
Apache License 2.0The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Updated -
Updated
-
Updated
-
gismo / gismo
Mozilla Public License 2.0UpdatedUpdated -
DAO Minh Quan / k-radar-openpcdet
Apache License 2.0Updated -
dynres / applications / Dyn_XBraid
GNU General Public License v3.0 or laterUpdated -
Mathieu Faverge / exageostat
BSD 3-Clause "New" or "Revised" LicenseA High Performance Unified Framework for Geostatistics on Manycore Systems.
Updated -
Updated
-
NumPex-PC5-WP3 / Melissa
BSD 3-Clause "New" or "Revised" 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 -
FARNUDI Ali / pybinder_test
Lawrence Berkeley National Labs BSD variant licenseUpdated -
dynres / applications / DynPetsc
BSD 2-Clause "Simplified" LicenseUpdated