Mogball / declarative-mlir-compiler
Declarative MLIR compilers in Python!
☆33Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for declarative-mlir-compiler
- A minimal (really) out-of-tree MLIR example☆34Updated 5 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆71Updated 5 months ago
- A translation validation framework for MLIR☆73Updated last week
- ☆27Updated last year
- The implementation of the Elevate language☆29Updated 3 weeks ago
- A framework that helps implementing swizzle GPU kernels☆41Updated 4 years ago
- Bridging polyhedral analysis tools to the MLIR framework☆102Updated last year
- Chunky Loop Interaction☆23Updated 5 years ago
- The Shine compiler for the RISE language☆73Updated last week
- A repository to test dialects defined dynamically.☆12Updated last year
- Example for running IREE in a bare-metal Arm environment.☆23Updated 2 months ago
- simple snapshot-style integration testing for commands☆67Updated 4 months ago
- FPGA synthesis tool powered by program synthesis☆38Updated this week
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- Data Dependence Analyzer in the Polyhedral Model☆19Updated last year
- Library to plot integer sets and maps☆47Updated 7 years ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆69Updated last week
- Retargetable ML compilers for the twenty-first century!☆12Updated 2 months ago
- Python wrapper for isl, an integer set library☆73Updated last week
- ☆21Updated 3 weeks ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 2 years ago
- MLIR metal dialect☆23Updated 2 months ago
- ☆25Updated 2 years ago
- embedding MLIR in LEAN☆47Updated 5 months ago
- compiling DSLs to high-level hardware instructions☆21Updated 2 years ago
- A lightweight, Pythonic, frontend for MLIR☆80Updated last year
- Search-based compiler for high-performance DSP programming☆61Updated 3 weeks ago
- A enumerator for MLIR, relying on the information given by IRDL.☆17Updated 2 months ago
- ☆41Updated 3 years ago
- Integer Set Library (source repository: http://repo.or.cz/w/isl.git)☆64Updated last year