AnHaechan / ai-compilers-study-materialLinks
A collection of study materials for AI compilers and systems.
☆50Updated 2 months ago
Alternatives and similar repositories for ai-compilers-study-material
Users that are interested in ai-compilers-study-material are comparing it to the libraries listed below
Sorting:
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆124Updated 3 weeks ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Updated 3 months ago
- High-Performance FP32 GEMM on CUDA devices☆117Updated last year
- SBLP 2025 MLIR Tutorial☆67Updated 4 months ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆117Updated 5 months ago
- An attempt at safe imperative GPU programming.☆61Updated 5 months ago
- Website for CS 265☆33Updated last year
- An interactive web-based tool for exploring intermediate representations of PyTorch and Triton models☆50Updated 3 weeks ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆117Updated 2 months ago
- Embedded Universal DSL: a good DSL for us, by us☆65Updated this week
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆72Updated 7 months ago
- ☆88Updated last week
- Tutorial on building a gpu compiler backend in LLVM☆52Updated last year
- An awesome list of e-graph resources☆284Updated 2 weeks ago
- Tensor library & inference framework for machine learning☆117Updated 3 months ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆25Updated 4 months ago
- Introduction to MLIR and xDSL training course☆17Updated 2 years ago
- This is a beginner-friendly tutorial on MLIR from the perspective of a user of MLIR, not a compiler engineer. This tutorial will introduc…☆83Updated 10 months ago
- Wave: Python Domain-Specific Language for High Performance Machine Learning☆30Updated this week
- Can I make an *optimizing* compiler under 1k lines of code?☆66Updated 11 months ago
- An MLIR-based source-to-source automatic differentiation system.☆15Updated 2 years ago
- Tenstorrent MLIR compiler☆237Updated this week
- Super fast FP32 matrix multiplication on RDNA3☆82Updated 9 months ago
- ☆18Updated 7 months ago
- High level synthesis language for hardware design☆80Updated last month
- ☆31Updated last week
- A minimal development of SSA theory☆205Updated this week
- 🚧 A work-in-progress GLSL compiler targeting SPIR-V mlir 🚧☆22Updated last year
- Attention in SRAM on Tenstorrent Grayskull☆40Updated last year
- Nvidia Instruction Set Specification Generator☆310Updated last year