rise-lang / mlirView external linksLinks
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.
☆32Jul 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:
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- Haskell x Android☆25Sep 18, 2022Updated 3 years ago
- MLIR Bindings for Swift☆13Apr 9, 2021Updated 4 years ago
- Tagged union types and immutable records (product types) in Python☆11Jun 5, 2017Updated 8 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆16Jan 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…☆33Updated this week
- ☆16Jul 3, 2023Updated 2 years ago
- ☆16Jan 5, 2022Updated 4 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- ☆22Jul 31, 2019Updated 6 years ago
- ☆62Dec 9, 2025Updated 2 months ago
- A ridiculous Python interpreter written—from scratch—in Rust.☆25Updated this week
- ☆24Feb 26, 2023Updated 2 years ago
- Benchmark repository of polyglot effect handler examples☆34Aug 21, 2025Updated 5 months ago
- Proxy LLVM calls into Rust own shared library in runtime☆34Mar 21, 2024Updated last year
- Efficient Sampling of SAT Solutions for Testing☆35Sep 20, 2019Updated 6 years ago
- Formally verified implementation of Alive in Lean☆41Jul 14, 2023Updated 2 years ago
- ☆68May 29, 2019Updated 6 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- ☆29Jan 15, 2021Updated 5 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Jun 25, 2018Updated 7 years ago
- A namedtuple-style library for defining immutable sum types in Python.☆27Apr 20, 2021Updated 4 years ago
- A high-level API for interacting with SMT solvers.☆33Dec 8, 2025Updated 2 months ago
- Experimental Python API for Ruff☆34Feb 1, 2026Updated last week
- 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
- Automatically generate a compiler using equality saturation☆34Apr 3, 2024Updated last year
- Asynchronous pipeline parallel optimization☆19Feb 2, 2026Updated last week
- ☆38Jan 22, 2026Updated 3 weeks ago
- build tool and package manager for idris,in idris,with free monads☆32Feb 20, 2019Updated 6 years ago
- Declarative MLIR compilers in Python!☆36Oct 9, 2020Updated 5 years ago
- COOL (Classroom Object Oriented Language) compiler with LLVM backend☆33Mar 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 last month
- An LLVM based mini-C to Verilog High-level Synthesis tool☆39Mar 7, 2025Updated 11 months ago
- ☆35Jul 28, 2025Updated 6 months ago
- Python 3 AST unparser with type comments support.☆31Oct 24, 2019Updated 6 years ago
- Re-implementation of the TASO compiler using equality saturation☆138Jun 28, 2021Updated 4 years ago
- Like those other ds4tools, but sexier☆10Nov 29, 2020Updated 5 years ago
- A Terraria clone in Python, just for fun☆10Jun 7, 2020Updated 5 years ago
- Symphony — A decentralized multi-agent framework that enables intelligent agents to collaborate seamlessly across heterogeneous edge devi…☆30Oct 30, 2025Updated 3 months ago