Explore projects
-
MODMED / modmedLog
BSD 3-Clause "New" or "Revised" LicenseC++ library to trace structured events and data from usual tracepoints
Updated -
Updated
-
Updated
-
Updated
-
maplurinum-anr / SST Elements
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Nathanael Chauvin / Nanvix_Scheduler
GNU General Public License v3.0 onlyUpdated -
rheolef / rheolef
GNU General Public License v3.0 onlyUpdated -
Updated
-
Updated
-
Nathanael Schaeffer / SHTns
CeCILL Free Software License Agreement v2.1Spherical Harmonic Transform library aimed at high performance numerical simulations in spherical geometries. It is very fast.
Updated -
Updated
-
Sebastien Michelland / CGDoom
GNU General Public License v2.0 or laterUpdated -
-
Updated
-
Exa-Atow / Alumet
European Union Public License 1.2Updated -
Updated
-
CertiCompil / Chamois-CompCert
GNU Lesser General Public License v2.1 onlyVerimag's fork of CompCert
Updated
