AnyDSL / MimIR
MimIR is my Intermediate Representation
☆48Updated last week
Related projects ⓘ
Alternatives and complementary repositories for MimIR
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆18Updated last year
- embedding MLIR in LEAN☆47Updated 4 months ago
- Cerberus C semantics☆53Updated this week
- Gallina to Bedrock2 compilation toolkit☆50Updated last month
- ☆51Updated 3 weeks ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆42Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- racket llvm C-API bindings☆17Updated 2 years ago
- A Gallina compiler with C++17 as an intermediate representation☆42Updated 3 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated last year
- Runtime support for LLVM's GC Statepoints☆42Updated 4 years ago
- A minimal development of SSA theory☆88Updated this week
- SPSC: A Small Positive Supercompiler☆32Updated 5 months ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 2 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 3 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆14Updated 5 months ago
- EGraphs in OCaml☆60Updated 9 months ago
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 4 months ago
- SSA vs ANF☆41Updated 9 years ago
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- Armv8 Native Code Symbolic Simulator in Lean☆62Updated this week
- Regionalized Value State Dependence Graph written in Rust☆9Updated 4 years ago
- Benchmark repository of polyglot effect handler examples☆20Updated 3 months ago
- Interval arithmetic for real computation☆21Updated this week
- Compiler optimizer for arbitrary control flow based on equality saturation☆85Updated 2 years ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆30Updated 3 months ago
- The implementation of the Elevate language☆29Updated last week