xieyuheng / studyLinks
Study of language design and implementation.
☆66Updated 5 years ago
Alternatives and similar repositories for study
Users that are interested in study are comparing it to the libraries listed below
Sorting:
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆45Updated 7 years ago
- ☆90Updated 4 years ago
- A Pascal to LLVM compiler in Haskell☆124Updated 6 years ago
- SKI combinators☆56Updated 8 years ago
- A small and expressive dependently typed language☆131Updated 5 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 5 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- Sinister's Scheme Compiler!☆24Updated 3 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆120Updated 4 years ago
- An incremental approach to compiler construction☆84Updated 5 years ago
- Strict Haskell-like programming language that compiles to LLVM☆71Updated 6 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 5 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 5 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆101Updated 3 years ago
- Collapsing Towers of Interpreters☆93Updated 6 months ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 11 months ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- LVC verified compiler☆60Updated 7 years ago
- Porn browser formally-verified in Coq☆51Updated 8 years ago
- A compiler for Standard ML, somewhat☆204Updated 3 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆99Updated 5 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆82Updated 4 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆159Updated 6 years ago
- A collection of programming languages and type systems.☆33Updated 7 months ago
- A compiler for the gradually typed lambda calculus☆76Updated 4 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆83Updated 8 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 6 years ago
- Charity Programming Language☆41Updated 10 years ago
- ☆78Updated 6 years ago