opencompl/lean-mlir

A minimal development of SSA theory

GaloisInc/lean-llvm

LLVM support for the lean theorem prover

ucb-bar/model2MLIR

Any model in Torch or JAX format to MLIR frontend dialects.

facebookarchive/clangir

💀 The former home of clangir, now part of the official LLVM incubator. See website below for…

llvm/clangir

💀💀💀 The former home of clangir incubator, now part of the official llvm-project.

tenstorrent/tt-mlir

Tenstorrent MLIR compiler

DavidGinten/ML-compiler-exercise

An online tutorial to make MLIR more beginner friendly with an end-to-end deep learning compiler…