A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation
☆82Oct 29, 2026Updated this week
Alternatives and similar repositories for jlm
Users that are interested in jlm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Jan 14, 2022Updated 4 years ago
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆28Oct 22, 2026Updated last week
- Regionalized Value State Dependence Graph written in Rust☆13Nov 17, 2019Updated 6 years ago
- ☆14Updated this week
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆14May 30, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Compiler optimizer for arbitrary control flow based on equality saturation☆116May 19, 2022Updated 4 years ago
- E-Graphs, natively in MLIR☆48Oct 22, 2026Updated last week
- Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.☆14Mar 14, 2019Updated 7 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64May 14, 2020Updated 6 years ago
- Interpreter and compiler for the ISA specification language "ISA Specification Language" (ISL)☆44Aug 25, 2026Updated 2 months ago
- Website for CS 265☆34Dec 27, 2024Updated last year
- An experimental optimizing compiler for Bril using egglog☆105Oct 21, 2026Updated last week
- An experimental RVSDG optimizer for brainfuck code☆24May 18, 2022Updated 4 years ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆16Mar 17, 2026Updated 7 months ago
- Interactive Control Flow Graph Visualization.☆34Sep 27, 2021Updated 5 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- SSA based compiler targeting x86_64☆12Oct 22, 2021Updated 5 years ago
- MLIR+EqSat☆32Jan 10, 2026Updated 9 months ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆138Mar 25, 2026Updated 7 months ago
- Some experiments with SMT solvers and GIMPLE IR☆83Updated this week
- Discovery of Structured Parallelism In Sequential and Parallel Code☆10Feb 13, 2021Updated 5 years ago
- Automatically generate a compiler using equality saturation☆36Apr 3, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆132Oct 23, 2026Updated last week
- Thin but safe Linux interface☆12Nov 26, 2025Updated 11 months ago
- UB-aware interpreter for LLVM debugging☆50Aug 26, 2026Updated 2 months ago
- An LLVM IR dataset for data-driven compiler optimization research☆80Mar 17, 2026Updated 7 months ago
- A Simple showcase for the Sea-of-Nodes compiler IR☆926Updated this week
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆31Jun 18, 2022Updated 4 years ago
- Verify naive = datafrog-opt, in rust/polonius☆17Jun 26, 2025Updated last year
- Symbolic execution tool for Sail ISA specifications☆100Sep 23, 2026Updated last month
- A simple VM to play with OSR in LLVM☆20Jun 11, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- static symmetry breaking for SAT☆26May 26, 2026Updated 5 months ago
- ☆11Aug 30, 2024Updated 2 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 8 years ago
- FYP on using e-graphs to solve smt bitvector problems☆16Jun 24, 2025Updated last year
- A tool to connect SMT-based frontends to Lean4.☆21Oct 21, 2026Updated last week
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆117Mar 4, 2026Updated 7 months ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 5 years ago