uwplse / stngLinks
compiler for fortran stencils using verified lifting,
☆18Updated 3 years ago
Alternatives and similar repositories for stng
Users that are interested in stng are comparing it to the libraries listed below
Sorting:
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆39Updated last year
- MPI wrapper generator, for writing PMPI tool libraries☆36Updated 9 months ago
- A standard for floating point accuracy benchmarks☆56Updated last month
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆37Updated last month
- Loop Kernel Analysis and Performance Modeling Toolkit☆96Updated 9 months ago
- Program analysis tool based on software performance counters☆57Updated 4 years ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆39Updated this week
- Absinthe is an optimization framework to fuse and tile stencil codes in one shot☆14Updated 6 years ago
- Python wrapper for isl, an integer set library☆82Updated 3 weeks 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…☆36Updated 9 years ago
- A system for programming formally-verified loop transformations.☆16Updated 6 years ago
- Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.☆72Updated 2 years ago
- Data Dependence Analyzer in the Polyhedral Model☆21Updated 2 years ago
- A Python-native clone of LLVMs FileCheck tool☆22Updated 4 months ago
- The SparseX sparse kernel optimization library☆43Updated 6 years ago
- GPUVerify: a Verifier for GPU Kernels☆74Updated 3 years ago
- High-level framework for stencil computations☆39Updated 10 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆16Updated 5 years ago
- Tapir extension to LLVM for optimizing Parallel Programs☆132Updated 5 years ago
- Instrumentation framework to generate execution traces of the most used parallel runtimes.☆68Updated 3 weeks ago
- Home of ALP/GraphBLAS and ALP/Pregel, featuring shared- and distributed-memory auto-parallelisation of linear algebraic and vertex-centri…☆32Updated this week
- Archer, a data race detection tool for large OpenMP applications☆66Updated 5 years ago
- NPBench - A Benchmarking Suite for High-Performance NumPy☆91Updated last month
- A C-family AST implementation designed to be an IR for DSL compilers.☆17Updated 8 years ago
- Programmable JIT Compilation and Optimization for C/C++ using LLVM☆38Updated this week
- YASK--Yet Another Stencil Kit: a domain-specific language and framework to create high-performance stencil code for implementing finite-d…☆111Updated 6 months ago
- Code generation tool to generate mathematical libraries☆58Updated 3 months ago
- Library to plot integer sets and maps☆53Updated 9 years ago
- The OpenDwarfs project provides a benchmark suite consisting of different computation/communication idioms, i.e., dwarfs, for state-of-ar…☆99Updated 6 years ago
- OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…☆60Updated last week