AnHaechan / ai-compilers-study-materialLinks
A collection of study materials for AI compilers and systems.
☆47Updated last month
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☆116Updated this week
- SBLP 2025 MLIR Tutorial☆67Updated 3 months ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Updated 2 months ago
- An attempt at safe imperative GPU programming.☆60Updated 4 months ago
- High-Performance SGEMM on CUDA devices☆114Updated 11 months ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆116Updated last month
- Wave: Python Domain-Specific Language for High Performance Machine Learning☆28Updated this week
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆114Updated 4 months ago
- The Quasi Quantum Assembly Programming Language☆36Updated last month
- Website for CS 265☆32Updated last year
- ☆27Updated 9 months ago
- Tenstorrent MLIR compiler☆226Updated this week
- Tutorial on building a gpu compiler backend in LLVM☆50Updated 11 months ago
- My submission for the GPUMODE/AMD fp8 mm challenge☆29Updated 6 months ago
- An awesome list of e-graph resources☆272Updated 2 weeks ago
- ☆85Updated last week
- Custom PTX Instruction Benchmark☆137Updated 10 months ago
- Introduction to MLIR and xDSL training course☆16Updated 2 years ago
- 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
- Embedded Universal DSL: a good DSL for us, by us☆60Updated last week
- An interactive web-based tool for exploring intermediate representations of PyTorch and Triton models☆50Updated last week
- Super fast FP32 matrix multiplication on RDNA3☆81Updated 9 months ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆25Updated 3 months ago
- A minimal development of SSA theory☆202Updated last week
- An experimental optimizing compiler for Bril using egglog☆82Updated last month
- ☆84Updated this week
- A lightweight, Pythonic, frontend for MLIR☆80Updated 2 years ago
- An MLIR-based source-to-source automatic differentiation system.☆14Updated 2 years ago
- Tensor library & inference framework for machine learning☆117Updated 2 months ago
- IREE compiler and runtime for Snitch☆14Updated 2 months ago