Updated 9 months ago
https://github.com/libxsmm/libxsmm
Library for specialized dense and sparse matrix operations, and deep learning primitives.
Updated 9 months ago
ParallelMergeCSR
Merge-based Parallel Sparse Matrix-Vector Multiplication in Julia
Updated 9 months ago
https://github.com/rubixml/tensor
A library and extension that provides objects for scientific computing in PHP.
Updated 9 months ago
https://github.com/flatironinstitute/sparse_dot
Python wrapper for Intel Math Kernel Library (MKL) matrix multiplication
Updated 9 months ago
aurus
AuRUS 🧬: A Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.