j2kun / mlir-resources
A list of articles outside of the official MLIR docs that I've found useful for learning MLIR
☆11Updated last year
Alternatives and similar repositories for mlir-resources:
Users that are interested in mlir-resources are comparing it to the libraries listed below
- Embedded Universal DSL: a good DSL for us, by us☆36Updated this week
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆17Updated 2 weeks ago
- UB-aware interpreter for LLVM debugging☆26Updated this week
- A minimal (really) out-of-tree MLIR example☆44Updated this week
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- ☆20Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- Modeling futexes in TLA+☆20Updated 6 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- LLVM Dialects Library☆22Updated last month
- Website for CS 265☆28Updated 3 months ago
- A enumerator for MLIR, relying on the information given by IRDL.☆19Updated 2 weeks ago
- Fork of LLVM for demonstrating optimization pass development☆31Updated 2 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Updated 2 months ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- materials available to the public☆24Updated 4 months ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆14Updated 11 months ago
- benchmarking e-graph extraction☆37Updated 5 months ago
- Retargetable ML compilers for the twenty-first century!☆12Updated 3 weeks ago
- MimIR is my Intermediate Representation☆66Updated this week
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 10 months ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆12Updated 2 weeks ago
- ☆28Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- egg is a flexible, high-performance e-graph library☆11Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated last month
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆52Updated 3 weeks ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- Solving floating point SMT constraints on a GPU☆48Updated 4 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago