xieyuheng / study
Study of language design and implementation.
☆67Updated 4 years ago
Alternatives and similar repositories for study:
Users that are interested in study are comparing it to the libraries listed below
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- A compiler for Standard ML, somewhat☆202Updated 2 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆84Updated 9 months ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆40Updated 6 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆53Updated 4 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 4 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆96Updated 4 years ago
- ☆78Updated 5 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆111Updated 5 years ago
- Algebraic structures for untyped Racket☆76Updated 6 months ago
- An incremental approach to compiler construction☆81Updated 4 years ago
- A book about compiling Racket to x86-64 assembly☆20Updated 7 years ago
- ☆89Updated 3 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 2 years ago
- LVC verified compiler☆57Updated 6 years ago
- TiML: A Functional Programming Language with Time Complexity☆76Updated 7 years ago
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- Collapsing Towers of Interpreters☆87Updated last year
- Abstracting Definitional Interpreters☆67Updated 7 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆111Updated 5 years ago
- Higher-order optimization library☆73Updated last year
- SKI combinators☆52Updated 7 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- SPSC: A Small Positive Supercompiler☆34Updated 8 months ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆117Updated 4 years ago
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆142Updated 3 weeks ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆156Updated 2 years ago