danielesgit / slingenLinks
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
Sorting:
- tokenizer and parser for circle projects☆11Updated 5 years ago
- Universal Number Library☆41Updated 7 years ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- Code generation tool to generate mathematical libraries☆56Updated 2 months ago
- Recursive LAPACK Collection☆42Updated 3 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 years ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆38Updated 6 months ago
- Library to plot integer sets and maps☆49Updated 8 years ago
- General Stride K-Nearest Neighbors☆13Updated 3 years ago
- Reference implementation of the draft C++ GraphBLAS specification.☆33Updated 3 months ago
- Automatic Differentiation for high-performance stencil loops☆12Updated 4 years ago
- GPUVerify: a Verifier for GPU Kernels☆62Updated 2 years ago
- CUDA and OpenMP implementations of C2R/R2C inplace transposition☆46Updated 10 years ago
- A simple, but fast, triangular solver☆17Updated 4 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Archer, a data race detection tool for large OpenMP applications☆63Updated 4 years ago
- A Valgrind tool for Herbie☆94Updated 2 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
- Cooperative Primitives for CUDA C++ Kernel Authors. This repository contains CUB PRs from Q4 2019 until Q4 2020.☆22Updated 4 years ago
- A framework that helps implementing swizzle GPU kernels☆41Updated 5 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆69Updated 3 years ago
- Fork of magma to include more BLAS☆28Updated 8 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- Compiler with automatic differentiation☆48Updated last year
- A system for programming formally-verified loop transformations.☆16Updated 6 years ago
- TTG: Template Task Graph C++ API☆20Updated last week
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 6 years ago
- SuiteSparse: a suite of sparse matrix packages by @DrTimothyAldenDavis et al. with native CMake support☆53Updated 10 months ago