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
Sorting:
- Sed Lisp -- a lisp interpreter in GNU sed☆54Updated 4 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- ☆90Updated 3 years ago
- A compiler for Standard ML, somewhat☆202Updated 3 years ago
- ☆79Updated 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☆97Updated 4 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆111Updated 6 years ago
- Macros have types!☆129Updated 2 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 2 years ago
- Algebraic structures for untyped Racket☆77Updated 10 months ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆42Updated 7 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆85Updated last year
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆72Updated 5 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- LVC verified compiler☆57Updated 6 years ago
- The essence of Rust.☆125Updated 3 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆70Updated 8 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- TiML: A Functional Programming Language with Time Complexity☆79Updated 7 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆75Updated 5 years ago
- Dependent type checker using normalisation by evaluation☆260Updated 8 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆43Updated 5 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago