uwplse / stngLinks
compiler for fortran stencils using verified lifting,
☆17Updated 3 years ago
Alternatives and similar repositories for stng
Users that are interested in stng are comparing it to the libraries listed below
Sorting:
- Absinthe is an optimization framework to fuse and tile stencil codes in one shot☆14Updated 5 years ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- Data Dependence Analyzer in the Polyhedral Model☆20Updated last year
- Apollo: Online Machine Learning for Performance Portability☆23Updated 9 months ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆38Updated 6 months 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…☆35Updated 8 years ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆34Updated 3 weeks ago
- The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear …☆75Updated last week
- Library to plot integer sets and maps☆49Updated 8 years ago
- Python wrapper for isl, an integer set library☆77Updated this week
- pLiner is a framework that helps programmers identify locations in the source of numerical code that are highly affected by compiler opti…☆17Updated last year
- TTG: Template Task Graph C++ API☆20Updated 2 weeks ago
- OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…☆58Updated last week
- Loop Kernel Analysis and Performance Modeling Toolkit☆93Updated 2 months ago
- YASK--Yet Another Stencil Kit: a domain-specific language and framework to create high-performance stencil code for implementing finite-d…☆107Updated 10 months ago
- Archer, a data race detection tool for large OpenMP applications☆63Updated 4 years ago
- CUDA Dynamic Memory Allocator for SOA Data Layout☆35Updated 3 years ago
- A standard for floating point accuracy benchmarks☆49Updated 2 months ago
- MPI wrapper generator, for writing PMPI tool libraries☆35Updated 2 months ago
- Barcelona OpenMP Task Suite is a collection of applications that allow to test OpenMP tasking implementations and compare its behaviour u…☆46Updated 5 years ago
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆39Updated 2 years ago
- GPUVerify: a Verifier for GPU Kernels☆62Updated 2 years ago
- Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.☆69Updated last year
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- development repository for the open earth compiler☆80Updated 4 years ago
- Code generation tool to generate mathematical libraries☆56Updated 2 months ago
- Heterogeneous Active Messages C++ library☆21Updated 5 years ago
- Official BOLT Repository☆28Updated 9 months ago
- Memory system characterization benchmarks using atomic operations☆15Updated 11 months ago
- Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)☆126Updated 2 years ago