true-grue / graph-irs
Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
☆21Updated last year
Alternatives and similar repositories for graph-irs:
Users that are interested in graph-irs are comparing it to the libraries listed below
- MimIR is my Intermediate Representation☆60Updated this week
- SSA vs ANF☆42Updated 9 years ago
- Writeup that goes along with this:☆40Updated 7 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 3 years ago
- LALR(k) Parser Generator for Haskell, by Ralf Hinze☆9Updated 5 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated 3 months ago
- Benchmark repository of polyglot effect handler examples☆23Updated 4 months ago
- A deterministic parser with fused lexing☆72Updated last year
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Dafny for Metatheory of Programming Languages☆25Updated 2 months ago
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 2 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆26Updated 2 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- benchmarking e-graph extraction☆36Updated 4 months ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- sketches for egg: a flexible, high-performance e-graph library☆26Updated 2 months ago
- A toy dependent typed language.☆28Updated this week
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆14Updated 10 months ago
- An overview of property-based testing functionality☆58Updated last month
- Stratified synthesis for learning machine code instruction semantics☆36Updated 7 months ago
- SPSC: A Small Positive Supercompiler☆34Updated 10 months ago
- A simple interpreter featuring a tracing JIT☆15Updated 13 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated this week
- Two-Level Type Theory☆28Updated 5 years ago