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
- OCaml bytecode to C compiler☆99Updated 4 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆74Updated 5 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- Hindley-Milner Type Inference implemented in (although not for) Python.☆92Updated 3 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆193Updated 9 months ago
- Parallel ML compiler☆72Updated 4 years ago
- ☆85Updated 4 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- The Caml Light implementation of the Caml language☆66Updated 2 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- SSA vs ANF☆42Updated 9 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆115Updated last year
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆42Updated 6 years ago
- Scheme on SECD☆41Updated 4 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 3 years ago
- The language of the future!☆72Updated last year
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 4 years ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆29Updated 5 years ago
- A compiler to compile a simple subset of scheme to LLVM 10☆108Updated 3 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- MLWorks is a Standard ML compiler and development environment.☆180Updated 6 years ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- Coq library for verified low-level programming☆57Updated 7 years ago