danielesgit / slingen
Program Generator for Small-Scale Linear Algebra Applications
☆29Updated 6 years ago
Alternatives and similar repositories for slingen:
Users that are interested in slingen are comparing it to the libraries listed below
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- a compiler for re-writing image processing functions in C++ to Halide☆23Updated 2 years ago
- Data Dependence Analyzer in the Polyhedral Model☆20Updated last year
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 years ago
- A simple, but fast, triangular solver☆17Updated 3 years ago
- Automatic Differentiation for high-performance stencil loops☆12Updated 3 years ago
- Recursive LAPACK Collection☆42Updated 3 years ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆37Updated 4 months ago
- Archer, a data race detection tool for large OpenMP applications☆63Updated 4 years ago
- A Valgrind tool for Herbie☆93Updated 2 years ago
- GPUVerify: a Verifier for GPU Kernels☆59Updated 2 years ago
- Code generation tool to generate mathematical libraries☆55Updated last week
- A standard for floating point accuracy benchmarks☆49Updated this week
- A framework that helps implementing swizzle GPU kernels☆42Updated 5 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆85Updated last month
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 5 years ago
- Program Round-off Error Certifier via Static Analysis☆51Updated 5 months ago
- Vectorization EDSL library☆15Updated 5 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
- An elegant implementation of discrete diffgeo in haskell☆33Updated 5 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- The implementation of the Elevate language☆29Updated last week
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- tokenizer and parser for circle projects☆11Updated 5 years ago
- ☆14Updated 2 years ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆68Updated 3 years ago
- Universal Number Library☆41Updated 7 years ago
- An OpenMP runtime implemented using HPX☆23Updated 2 years ago
- TTG: Template Task Graph C++ API☆19Updated last month
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆71Updated 3 years ago