danielesgit / slingen
Program Generator for Small-Scale Linear Algebra Applications
☆28Updated 6 years ago
Alternatives and similar repositories for slingen:
Users that are interested in slingen are comparing it to the libraries listed below
- Automatic Differentiation for high-performance stencil loops☆12Updated 3 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 years ago
- Recursive LAPACK Collection☆42Updated 2 years ago
- A simple, but fast, triangular solver☆17Updated 3 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- Data Dependence Analyzer in the Polyhedral Model☆19Updated last year
- A standard for floating point accuracy benchmarks☆46Updated 3 weeks ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆68Updated 3 years ago
- Archer, a data race detection tool for large OpenMP applications☆63Updated 4 years ago
- compiler for fortran stencils using verified lifting,☆17Updated 2 years ago
- ☆14Updated 2 years ago
- Universal Number Library☆40Updated 6 years ago
- CUDA and OpenMP implementations of C2R/R2C inplace transposition☆46Updated 9 years ago
- cuASR: CUDA Algebra for Semirings☆35Updated 2 years ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆37Updated 2 months ago
- Code generation tool to generate mathematical libraries☆55Updated 10 months ago
- Checks to verify the usage of the MPI API in C and C++ code, based on Clang’s Static Analyzer and Clang-Tidy.☆38Updated 4 months ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 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…☆34Updated 8 years ago
- A framework that helps implementing swizzle GPU kernels☆41Updated 4 years ago
- ☆22Updated last year
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 7 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆84Updated last month
- A Valgrind tool for Herbie☆91Updated 2 years ago
- High-level framework for stencil computations☆39Updated 9 years ago
- Library to plot integer sets and maps☆48Updated 8 years ago
- ulmBLAS☆104Updated 2 years ago
- GPUVerify: a Verifier for GPU Kernels☆59Updated 2 years ago
- Program Round-off Error Certifier via Static Analysis☆49Updated 3 months ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 5 years ago