mwillsey / cs265
Website for CS 265
☆16Updated last week
Related projects ⓘ
Alternatives and complementary repositories for cs265
- An out-of-tree MLIR dialect template.☆91Updated 2 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
- ☆41Updated 3 years ago
- Bridging polyhedral analysis tools to the MLIR framework☆102Updated last year
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆66Updated last week
- FPGA synthesis tool powered by program synthesis☆38Updated last month
- Time-sensitive affine types for predictable hardware generation☆134Updated 3 months ago
- compiling DSLs to high-level hardware instructions☆21Updated 2 years ago
- ☆27Updated last year
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- Search-based compiler for high-performance DSP programming☆61Updated 2 weeks ago
- A repository to test dialects defined dynamically.☆12Updated last year
- Re-implementation of the TASO compiler using equality saturation☆121Updated 3 years ago
- A translation validation framework for MLIR☆73Updated 2 weeks ago
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- HeteroCL-MLIR dialect for accelerator design☆40Updated last month
- A minimal (really) out-of-tree MLIR example☆34Updated 5 months ago
- A program synthesis framework for verified lifting applications☆39Updated last week
- A minimal development of SSA theory☆88Updated this week
- benchmarking e-graph extraction☆34Updated this week
- The Shine compiler for the RISE language☆73Updated this week
- Intel® Extension for MLIR. A staging ground for MLIR dialects and tools for Intel devices using the MLIR toolchain.☆123Updated this week
- ☆23Updated 3 months ago
- A Python Compiler Design Toolkit☆273Updated this week
- Data-Centric MLIR dialect☆38Updated last year
- MLIR Sample dialect☆102Updated last month
- TPP experimentation on MLIR for linear algebra☆111Updated 3 weeks ago
- A lightweight, Pythonic, frontend for MLIR☆80Updated last year
- An MLIR frontend for tensor expressions☆24Updated 4 years ago