Explore projects
-
dynres / dyn-procs / docker-cluster
MIT LicenseUpdated -
Philippe SWARTVAGHER / pm2
GNU General Public License v2.0 or laterPM2: Parallel Multithread Machine
Updated -
Updated
-
Gamble / pwpoly
OtherA C library for multipoint evaluation and root finding of well conditioned polynomials.
Updated -
cedar / hal-dynamic-graph
MIT LicenseUpdated -
Francois PELLEGRINI / FibonacciHeap
BSD 2-Clause "Simplified" LicenseUpdated -
Updated
-
faust group / faust
BSD 2-Clause "Simplified" LicenseThe FAµST toolbox provides algorithms and data structures to decompose a given dense matrix into a product of sparse matrices in order to reduce its computational complexity. https://faust.inria.fr
Updated -
Pallas / Pallas
BSD 3-Clause "New" or "Revised" LicensePallas is a scalable trace format for HPC applications.
Updated -
Philippe SWARTVAGHER / Pallas
BSD 3-Clause "New" or "Revised" LicensePallas is a scalable trace format for HPC applications.
Updated -
Basic system C/C++ interfaces to ease multi-language middleware integration
Updated -
tansiv / Linux TANSIVTx
OtherUpdated -
Fresco / Capla / Compiler
GNU Lesser General Public License v2.1 onlyUpdated -
Arsene-PEPR / llvm-fence-spec
Apache License 2.0Updated -
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 -
PEREIRA Romain / pot
CeCILL Free Software License Agreement v2.1Updated -
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 -