true-grue / graph-irsLinks
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
Sorting:
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 4 months ago
- Benchmark repository of polyglot effect handler examples☆28Updated last month
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Experiments about intermediate representations in compilers☆25Updated 13 years ago
- MimIR is my Intermediate Representation☆76Updated last week
- Cerberus C semantics☆69Updated last month
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆28Updated 4 years ago
- SSA vs ANF☆43Updated 10 years ago
- Runtime support for LLVM's GC Statepoints☆43Updated 5 years ago
- Shaking expression trees until something tasty pops out☆17Updated 6 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15Updated last year
- Racket Equivalence Graph Library☆19Updated 3 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆28Updated 3 years ago
- Spatial layout specifications for memory management systems.☆19Updated 5 years ago
- CN separation logic refinement type system for C☆34Updated this week
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 10 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated this week
- ☆70Updated this week
- LVC verified compiler☆57Updated 6 years ago
- EGraphs in OCaml☆74Updated last year
- The Steel separation logic library for F*☆36Updated last month
- ☆11Updated 3 years ago
- A toy dependent typed language.☆32Updated this week
- Semantic model for aspects of ELF static linking and DWARF debug information☆49Updated 2 months ago
- ☆16Updated 3 years ago
- Reference compiler for c0☆37Updated 4 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆27Updated 3 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆32Updated 3 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago