xieyuheng / study
Study of language design and implementation.
☆67Updated 4 years ago
Related projects: ⓘ
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 4 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 4 years ago
- ☆89Updated 2 years ago
- Sinister's Scheme Compiler!☆24Updated last year
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 4 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆38Updated 6 years ago
- SKI combinators☆50Updated 7 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆83Updated 4 months ago
- A compiler for Standard ML, somewhat☆199Updated 2 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆70Updated 4 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 4 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆51Updated 3 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 5 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆115Updated 3 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆91Updated 2 years ago
- LVC verified compiler☆57Updated 5 years ago
- A bidirectional type checker☆55Updated 7 years ago
- Compiler for the bJou programming language☆28Updated 4 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆79Updated 3 years ago
- Algebraic structures for untyped Racket☆75Updated 2 months ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆279Updated 10 years ago
- The future of programming.☆69Updated 3 years ago
- Staged compilation with dependent types☆153Updated last week
- The Makam Metalanguage☆187Updated last year
- Macros have types!☆131Updated last year
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆110Updated 5 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 4 years ago
- Hindley-Milner type inference using constraints☆48Updated 7 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆64Updated 7 years ago