phate / jlmLinks
☆63Updated this 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
- An experimental optimizing compiler for Bril☆70Updated 2 weeks ago
- ☆24Updated this week
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆20Updated this week
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated 3 weeks ago
- Regionalized Value State Dependence Graph written in Rust☆10Updated 5 years ago
- embedding MLIR in LEAN☆47Updated last year
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- benchmarking e-graph extraction☆44Updated last month
- Easy SMT solver interaction☆35Updated 3 months ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- Cerberus C semantics☆62Updated this week
- ☆38Updated 4 years ago
- An experimental RVSDG optimizer for brainfuck code☆24Updated 3 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- ☆14Updated 3 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 6 years ago
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 2 months ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 7 months ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 3 years ago
- simple snapshot-style integration testing for commands☆71Updated 3 weeks ago
- Rust testing framework for compilers and VMs☆51Updated 3 months ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- BrainFuck translation tool with RVSDG optimizations☆13Updated last year
- Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…☆20Updated 3 weeks ago
- Automatically generate a compiler using equality saturation☆30Updated last year