phate / jlm
☆60Updated this week
Alternatives and similar repositories for jlm:
Users that are interested in jlm are comparing it to the libraries listed below
- Compiler optimizer for arbitrary control flow based on equality saturation☆97Updated 2 years ago
- MimIR is my Intermediate Representation☆66Updated this week
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated last month
- An experimental optimizing compiler for Bril☆65Updated last week
- An experimental RVSDG optimizer for brainfuck code☆24Updated 2 years ago
- embedding MLIR in LEAN☆47Updated 10 months ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 5 months ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago
- An awesome list of e-graph resources☆152Updated this week
- Automatically generate a compiler using equality saturation☆28Updated last year
- benchmarking e-graph extraction☆37Updated 5 months ago
- sketches for egg: a flexible, high-performance e-graph library☆26Updated 3 weeks ago
- Rewrite Rule Inference Using Equality Saturation☆121Updated 10 months ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- Pure functional programming with whole-program mutability inference☆66Updated last month
- Easy SMT solver interaction☆35Updated 3 weeks ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- ☆14Updated 3 years ago
- ☆38Updated 4 years ago
- ☆58Updated 7 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- simple snapshot-style integration testing for commands☆70Updated 9 months ago
- Rust testing framework for compilers and VMs☆51Updated last month
- library learning w egraphs☆17Updated last year
- ☆19Updated 2 weeks ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆77Updated 2 weeks ago
- BrainFuck translation tool with RVSDG optimizations☆13Updated last year
- Cerberus C semantics☆61Updated last week
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Program analysis playground for a simple, imperative language☆36Updated 2 years ago