phate / jlm
☆49Updated this week
Related projects: ⓘ
- Compiler optimizer for arbitrary control flow based on equality saturation☆83Updated 2 years ago
- The Higher ORder INtermediate representation - next gen☆46Updated 4 months ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆31Updated 10 months ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 4 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆18Updated 10 months ago
- ☆14Updated 2 years ago
- ☆11Updated this week
- Runtime support for LLVM's GC Statepoints☆42Updated 4 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆34Updated 7 years ago
- Rust testing framework for compilers and VMs☆49Updated 2 weeks ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆22Updated 8 months ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- ☆38Updated 3 years ago
- Pull your compiler up with abstract bootstraps.☆30Updated last year
- Pure functional programming with whole-program mutability inference☆42Updated this week
- ☆41Updated last month
- Fast WebAssembly Baseline Compiler☆53Updated last year
- Simple conservative GC using mimalloc☆36Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆42Updated last year
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆23Updated 2 years ago
- A Gallina compiler with C++17 as an intermediate representation☆41Updated 3 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆28Updated 2 years ago
- Bottom Up Rewrite Generator☆26Updated 7 years ago
- simple snapshot-style integration testing for commands☆65Updated 2 months ago
- sketches for egg: a flexible, high-performance e-graph library☆24Updated 3 months ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- ☆60Updated last week
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆58Updated 10 months ago