j2kun / mlir-resources
A list of articles outside of the official MLIR docs that I've found useful for learning MLIR
☆10Updated last year
Related projects ⓘ
Alternatives and complementary repositories for mlir-resources
- A enumerator for MLIR, relying on the information given by IRDL.☆17Updated 2 months ago
- Tracing JIT compiler and runtime for a subset of the JVM☆23Updated 10 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
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆17Updated 6 months ago
- A GLSL compiler targeting SPIR-V mlir☆13Updated last month
- benchmarking e-graph extraction☆36Updated 2 weeks ago
- MimIR is my Intermediate Representation☆48Updated 3 weeks ago
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- LLVM Dialects Library☆22Updated 3 weeks ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Retargetable ML compilers for the twenty-first century!☆12Updated 2 months ago
- Some experiments with SMT solvers and GIMPLE IR☆68Updated last week
- ☆52Updated this week
- Easy SMT solver interaction☆24Updated this week
- embedding MLIR in LEAN☆47Updated 5 months ago
- Fast WebAssembly Baseline Compiler☆54Updated last year
- ☆27Updated last week
- A minimal (really) out-of-tree MLIR example☆34Updated 5 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆18Updated last year
- ☆27Updated last year
- Modeling futexes in TLA+☆21Updated last month
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- An awesome list of e-graph resources☆106Updated last week
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆26Updated 11 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 2 years ago
- Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆15Updated 2 months ago
- simple snapshot-style integration testing for commands☆67Updated 4 months ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆63Updated 4 years ago
- A translation validation framework for MLIR☆73Updated last week