AnHaechan / ai-compilers-study-materialLinks
A collection of study materials for AI compilers and systems.
☆46Updated 3 weeks 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☆113Updated 2 weeks ago
- SBLP 2025 MLIR Tutorial☆67Updated 2 months ago
- High-Performance SGEMM on CUDA devices☆113Updated 10 months ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Updated last month
- An attempt at safe imperative GPU programming.☆59Updated 3 months ago
- Website for CS 265☆32Updated 11 months ago
- Tenstorrent MLIR compiler☆217Updated this week
- An awesome list of e-graph resources☆268Updated last week
- An interactive web-based tool for exploring intermediate representations of PyTorch and Triton models☆50Updated last week
- Custom PTX Instruction Benchmark☆136Updated 9 months ago
- Nvidia Instruction Set Specification Generator☆301Updated last year
- My submission for the GPUMODE/AMD fp8 mm challenge☆29Updated 6 months ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆116Updated last month
- ☆85Updated this week
- TritonParse: A Compiler Tracer, Visualizer, and Reproducer for Triton Kernels☆177Updated this week
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆112Updated 4 months ago
- Learning about CUDA by writing PTX code.☆149Updated last year
- Super fast FP32 matrix multiplication on RDNA3☆81Updated 8 months ago
- Fast and Furious AMD Kernels☆309Updated 2 weeks ago
- A lightweight, Pythonic, frontend for MLIR☆80Updated 2 years ago
- ☆18Updated 6 months ago
- Can I make an *optimizing* compiler under 1k lines of code?☆65Updated 9 months ago
- A minimal development of SSA theory☆198Updated this week
- Tutorial on building a gpu compiler backend in LLVM☆49Updated 11 months ago
- Fearless hardware design☆183Updated 3 months ago
- An introduction to language design through building a compiler frontend and completing a self-paced exercise on top of LLVM.☆137Updated 2 months ago
- ☆81Updated 3 weeks ago
- materials available to the public☆29Updated last month
- ☆27Updated 8 months ago
- High level synthesis language for hardware design☆76Updated 2 weeks ago