The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
☆33Jul 20, 2021Updated 4 years ago
Alternatives and similar repositories for mlir
Users that are interested in mlir are comparing it to the libraries listed below
Sorting:
- The Shine compiler for the RISE language☆83Feb 20, 2026Updated 2 weeks ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 5 months ago
- Tagged union types and immutable records (product types) in Python☆11Jun 5, 2017Updated 8 years ago
- A friendly introduction to machine learning and ml5.js - workshop☆14May 15, 2020Updated 5 years ago
- Symbolic Geometric Algebra with E-Graphs☆19Oct 11, 2023Updated 2 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆17Jan 7, 2022Updated 4 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆33Feb 21, 2026Updated last week
- ☆16Jul 3, 2023Updated 2 years ago
- ☆16Jan 5, 2022Updated 4 years ago
- Implementation of the RISE language☆14Oct 28, 2020Updated 5 years ago
- Generic k-means implementation written in Rust☆16Feb 5, 2020Updated 6 years ago
- ☆22Jul 31, 2019Updated 6 years ago
- ☆60Dec 9, 2025Updated 2 months ago
- RTLCheck☆25Oct 9, 2018Updated 7 years ago
- ☆24Feb 26, 2023Updated 3 years ago
- library learning w egraphs☆26May 31, 2023Updated 2 years ago
- Benchmark repository of polyglot effect handler examples☆34Aug 21, 2025Updated 6 months ago
- Efficient Sampling of SAT Solutions for Testing☆35Sep 20, 2019Updated 6 years ago
- Proxy LLVM calls into Rust own shared library in runtime☆34Mar 21, 2024Updated last year
- Formally verified implementation of Alive in Lean☆41Jul 14, 2023Updated 2 years ago
- Rust bindings to the MLIR C API.☆70Feb 25, 2026Updated last week
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- A PEP to add a `@sealed` typing decorator to Python☆28Mar 23, 2024Updated last year
- ☆71May 29, 2019Updated 6 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Jun 25, 2018Updated 7 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Apr 26, 2019Updated 6 years ago
- ☆40Jan 22, 2026Updated last month
- Asynchronous pipeline parallel optimization☆19Feb 2, 2026Updated last month
- Automatically generate a compiler using equality saturation☆34Apr 3, 2024Updated last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- A high-level API for interacting with SMT solvers.☆33Dec 8, 2025Updated 2 months ago
- Experimental Python API for Ruff☆34Updated this week
- build tool and package manager for idris,in idris,with free monads☆32Feb 20, 2019Updated 7 years ago
- Declarative MLIR compilers in Python!☆36Oct 9, 2020Updated 5 years ago
- COOL (Classroom Object Oriented Language) compiler with LLVM backend☆32Mar 23, 2020Updated 5 years ago
- A simple example of how LLVM can be used to gather static or dynamic facts about a program.☆73Dec 28, 2025Updated 2 months ago
- An LLVM based mini-C to Verilog High-level Synthesis tool☆39Mar 7, 2025Updated 11 months ago
- Python 3 AST unparser with type comments support.☆31Oct 24, 2019Updated 6 years ago