danielesgit / slingen
Program Generator for Small-Scale Linear Algebra Applications
☆28Updated 6 years ago
Related projects: ⓘ
- Data Dependence Analyzer in the Polyhedral Model☆19Updated 10 months ago
- Recursive LAPACK Collection☆42Updated 2 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- A system for programming formally-verified loop transformations.☆16Updated 5 years ago
- Library to plot integer sets and maps☆47Updated 7 years ago
- Build-to-Order BLAS☆11Updated 5 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆47Updated 5 years ago
- Code generation tool to generate mathematical libraries☆54Updated 6 months ago
- General Stride K-Nearest Neighbors☆13Updated 3 years ago
- Automatic Differentiation for high-performance stencil loops☆12Updated 3 years ago
- A Sound and Complete Verification Tool for Warp-Specialized GPU Kernels☆16Updated 9 years ago
- compiler for fortran stencils using verified lifting,☆17Updated 2 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆83Updated last week
- ☆14Updated 2 years ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆65Updated 2 years ago
- High-Performance Machine Learning Primitives☆11Updated 3 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆56Updated 2 weeks ago
- Universal Number Library☆40Updated 6 years ago
- CUDA and OpenMP implementations of C2R/R2C inplace transposition☆44Updated 9 years ago
- cuASR: CUDA Algebra for Semirings☆30Updated 2 years ago
- GPUVerify: a Verifier for GPU Kernels☆57Updated 2 years ago
- A tuning assistant tool to find a lower floating-point precision that can be used in any part of a program. Precimonious performs a searc…☆33Updated 8 years ago
- Reference implementation of the draft C++ GraphBLAS specification.☆27Updated 7 months ago
- Tensor Contraction Code Generator☆36Updated 7 years ago
- A Valgrind tool for Herbie☆90Updated last year
- SuiteSparse: a suite of sparse matrix packages by @DrTimothyAldenDavis et al. with native CMake support☆51Updated 2 months ago
- Compiler with automatic differentiation☆45Updated 11 months ago
- ☆11Updated 8 years ago
- CUDA Dynamic Memory Allocator for SOA Data Layout☆33Updated 2 years ago