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:
- A Pascal to LLVM compiler in Haskell☆124Updated 5 years ago
- ☆89Updated 4 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆45Updated 7 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 5 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 4 years ago
- ☆79Updated 6 years ago
- Sinister's Scheme Compiler!☆24Updated 3 years ago
- SKI combinators☆55Updated 8 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- A small and expressive dependently typed language☆131Updated 5 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 5 years ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- Algebraic structures for untyped Racket☆78Updated last year
- The Makam Metalanguage☆199Updated 2 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆162Updated 3 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆80Updated 8 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆76Updated 5 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆99Updated 5 years ago
- 1ML prototype interpreter☆288Updated 5 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- Charity Programming Language☆40Updated 10 years ago
- An incremental approach to compiler construction☆84Updated 5 years ago
- joke page until I decide what to do with this domain name☆39Updated 3 months ago
- LVC verified compiler☆58Updated 6 years ago
- The cuteness implementation of a dependently typed language.☆193Updated 2 years ago
- Collapsing Towers of Interpreters☆91Updated 4 months ago
- The adventures of a Haskell compiler☆232Updated this week
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 6 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago