phate / jlmLinks
☆63Updated last week
Alternatives and similar repositories for jlm
Users that are interested in jlm are comparing it to the libraries listed below
Sorting:
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- MimIR is my Intermediate Representation☆68Updated this week
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated this week
- Rust testing framework for compilers and VMs☆51Updated 3 months ago
- Easy SMT solver interaction☆35Updated 2 months ago
- An experimental optimizing compiler for Bril☆66Updated last month
- embedding MLIR in LEAN☆47Updated 11 months ago
- ☆23Updated last week
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- ☆14Updated 3 years ago
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 2 months ago
- ☆38Updated 4 years ago
- An experimental RVSDG optimizer for brainfuck code☆24Updated 3 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 6 months ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- BrainFuck translation tool with RVSDG optimizations☆13Updated last year
- yk packages☆32Updated this week
- benchmarking e-graph extraction☆39Updated last week
- Macros have types!☆129Updated 2 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 2 years ago
- ☆19Updated last year
- Hindley-Milner Type Inference implemented in (although not for) Python.☆95Updated 3 years ago
- Program analysis playground for a simple, imperative language☆36Updated 2 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago