Explore projects
-
coccinelle / coccinelle
GNU General Public License v2.0 or laterCoccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
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 -
TAYEB Hayfa / StarPU multiprio scheduler
GNU Lesser General Public License v2.1 onlyUpdated -
Jens Gustedt / Modern C
MIT LicenseUpdated -
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated -
-
qparse / qparselib
CeCILL Free Software License Agreement v2.1Music transcription framework based on parsing for weighted regular tree grammars
Updated -
starpu / starpu
GNU Lesser General Public License v2.1 onlyA Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated -
simgrid / simgrid
GNU Lesser General Public License v2.1 onlySimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.
Updated -
icov / Src / ICOV-core
GNU Affero General Public License v3.0Core part of the ADT project ICOV (Interactive Coder for Omnidirectional Videos) All the source code in this project are meant to be shared publicly
Updated -
Pallas / Pallas
BSD 3-Clause "New" or "Revised" LicensePallas is a scalable trace format for HPC applications.
Updated -
-
Updated
-
CORSE / easytracker
Affero General Public License v1.0Updated -
solverstack / Chameleon
OtherDense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
BERNARD Samuel / Simuscale
GNU Affero General Public License v3.0Multiscale simulation of cell populations/Simulations multi-échelles de populations cellulaires
Updated -
CLAUSS Philippe / apollo
BSD 3-Clause "New" or "Revised" LicenseAutomatic speculative POLyhedraL Loop Optimizer
Updated -
-
Updated
-