huangguiyang / burg
Bottom Up Rewrite Generator
☆25Updated 7 years ago
Alternatives and similar repositories for burg:
Users that are interested in burg are comparing it to the libraries listed below
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- ☆85Updated 4 years ago
- ☆89Updated 3 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆193Updated 8 months ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 3 years ago
- SSA vs ANF☆42Updated 9 years ago
- ☆64Updated 8 years ago
- My Own Linear Lisp☆39Updated 6 years ago
- Parallel ML compiler☆72Updated 4 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆74Updated 5 years ago
- Collapsing Towers of Interpreters☆89Updated last year
- Robust multi-prompt delimited control and effect handlers in C/C++☆115Updated last year
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- LVC verified compiler☆57Updated 6 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 4 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆42Updated 6 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- MimIR is my Intermediate Representation☆60Updated last week
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- A small λ-calculus interpreter in C☆50Updated 10 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆89Updated 6 years ago
- Coq library for verified low-level programming☆57Updated 7 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆120Updated 3 years ago
- The Caml Light implementation of the Caml language☆66Updated 2 years ago
- SPSC: A Small Positive Supercompiler☆34Updated 9 months ago
- The language of the future!☆72Updated last year