Explore projects
-
dtk / dtk-core
BSD 3-Clause "New" or "Revised" LicensedtkCore provides fundamental tools to build modular platform.
Updated -
-
gismo / gismo
Mozilla Public License 2.0UpdatedUpdated -
Updated
-
dynres / dyn-procs / openpmix
BSD 3-Clause Open MPI variantUpdated -
-
Basic system C/C++ interfaces to ease multi-language middleware integration
Updated -
-
Dense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
solverstack / Chameleon
OtherDense linear algebra subroutines for heterogeneous and distributed architectures
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 -
CORSE / IOLB
CeCILL Free Software License Agreement v2.1IOLB tool that computes data movement complexity of an affine program
Updated -
xlifepp / xlifepp
GNU General Public License v3.0 onlyXLiFE++ is an extended finite element library developed in C++
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 -
Updated
-
-
Arsene-PEPR / llvm-fence-spec
Apache License 2.0Updated -
LUISELLI Juliette / aevol-eukaryotes
GNU General Public License v3.0 onlyFork of Aevol in order to develop an eukaryotic version
Updated