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:
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- MimIR is my Intermediate Representation☆69Updated last week
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 2 months ago
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- vertical + gpu + free join + datalog☆20Updated 5 months ago
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- SSA vs ANF☆43Updated 9 years ago
- LALR(k) Parser Generator for Haskell, by Ralf Hinze☆9Updated 5 years ago
- Benchmark repository of polyglot effect handler examples☆25Updated 3 months ago
- Stratified synthesis for learning machine code instruction semantics☆37Updated last month
- EGraphs in OCaml☆65Updated last year
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 5 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- embedding MLIR in LEAN☆47Updated last year
- benchmarking e-graph extraction☆45Updated last month
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆27Updated 4 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- Lean4 backend using `libgccjit`!☆11Updated last year
- Formally verified implementation of Alive in Lean☆36Updated last year
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆53Updated 4 months ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆27Updated 2 years ago
- Dafny for Metatheory of Programming Languages☆25Updated last month
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- Racket Equivalence Graph Library☆19Updated 3 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆26Updated 3 years ago
- Isabelle LLVM Code Generator and Refinement☆28Updated 2 weeks ago