cucapra / turnt
simple snapshot-style integration testing for commands
☆69Updated 6 months ago
Alternatives and similar repositories for turnt:
Users that are interested in turnt are comparing it to the libraries listed below
- Time-sensitive affine types for predictable hardware generation☆138Updated 5 months ago
- Search-based compiler for high-performance DSP programming☆62Updated 2 months ago
- A translation validation framework for MLIR☆78Updated 2 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆73Updated 7 months ago
- ☆28Updated 2 years ago
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- Tutorial for LLVM Dev Conference 2019.☆14Updated 5 years ago
- Online demo without installing at - https://buildit.so/tryit☆159Updated last month
- ☆40Updated 3 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆98Updated 5 months ago
- An awesome list of e-graph resources☆121Updated this week
- ☆57Updated this week
- An out-of-tree MLIR dialect template.☆92Updated 4 months ago
- ☆86Updated 2 years ago
- MimIR is my Intermediate Representation☆51Updated this week
- The Shine compiler for the RISE language☆73Updated 2 months ago
- Library to plot integer sets and maps☆48Updated 8 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆18Updated 4 months ago
- Bridging polyhedral analysis tools to the MLIR framework☆107Updated last year
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆134Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- A program synthesis framework for verified lifting applications☆48Updated last month
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆74Updated this week
- A repository to test dialects defined dynamically.☆12Updated last year
- A minimal development of SSA theory☆105Updated this week
- embedding MLIR in LEAN☆47Updated 7 months ago
- A standard for floating point accuracy benchmarks☆46Updated 3 weeks ago
- ☆35Updated 9 months ago
- compiling DSLs to high-level hardware instructions☆22Updated 2 years ago
- Collaborative Parallelization Framework (CPF)☆32Updated last year