Explore projects
-
Philippe SWARTVAGHER / Pallas
BSD 3-Clause "New" or "Revised" LicensePallas is a scalable trace format for HPC applications.
Updated -
tansiv / Linux TANSIVTx
OtherUpdated -
scotch / scotch
OtherPackage for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
Updated -
erable / KisSplice
CeCILL Free Software License Agreement v2.0Updated -
Updated
-
CoqInterval / interval
CeCILL-C Free Software License AgreementCoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
Updated -
-
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
-
LUISELLI Juliette / aevol-eukaryotes
GNU General Public License v3.0 onlyFork of Aevol in order to develop an eukaryotic version
Updated -
Hsplit / hsplit
GNU General Public License v3.0 or laterHardware split of MPI communicators
Updated -
-
dynres / applications / DynPetsc
BSD 2-Clause "Simplified" LicenseUpdated -
Dense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.
Updated -
dtk / dtk-widgets
BSD 3-Clause "New" or "Revised" LicenseA set of commonly used widgets written using Qt5.
Updated -
Updated