nimit-singhania / loopyLinks
A system for programming formally-verified loop transformations.
☆16Updated 6 years ago
Alternatives and similar repositories for loopy
Users that are interested in loopy are comparing it to the libraries listed below
Sorting:
- Data Dependence Analyzer in the Polyhedral Model☆20Updated last year
- Chunky Loop Interaction☆24Updated 5 years ago
- Python wrapper for isl, an integer set library☆77Updated this week
- Library to plot integer sets and maps☆49Updated 8 years ago
- A framework that helps implementing swizzle GPU kernels☆41Updated 5 years ago
- An MLIR frontend for tensor expressions☆25Updated 4 years ago
- An experimental ahead of time compiler for Relay.☆50Updated 5 years ago
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆39Updated 2 years ago
- A C-family AST implementation designed to be an IR for DSL compilers.☆17Updated 7 years ago
- MLIRX is now defunct. Please see PolyBlocks - https://docs.polymagelabs.com☆38Updated last year
- cuASR: CUDA Algebra for Semirings☆35Updated 2 years ago
- Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)☆126Updated 2 years ago
- Declarative MLIR compilers in Python!☆35Updated 4 years ago
- POC work on MLIR backend☆55Updated 9 months ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- ☆23Updated last month
- GPUVerify: a Verifier for GPU Kernels☆62Updated 2 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆17Updated 2 years ago
- Bridging polyhedral analysis tools to the MLIR framework☆111Updated last year
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆24Updated 2 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆47Updated last week
- ☆21Updated 3 years ago
- Code generation tool to generate mathematical libraries☆56Updated 2 months ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆38Updated 6 months ago
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆37Updated 3 years ago
- compiler for fortran stencils using verified lifting,☆17Updated 3 years ago
- CUDA Dynamic Memory Allocator for SOA Data Layout☆35Updated 3 years ago
- Heterogeneous Active Messages C++ library☆21Updated 5 years ago
- A translation validation framework for MLIR☆85Updated 2 months ago
- An out-of-tree MLIR dialect template.☆101Updated 9 months ago