xieyuheng / studyLinks
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:
- A Pascal to LLVM compiler in Haskell☆125Updated 5 years ago
- ☆90Updated 3 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆44Updated 7 years ago
- A small and expressive dependently typed language☆130Updated 5 years ago
- SKI combinators☆55Updated 8 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 7 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆118Updated 4 years ago
- An incremental approach to compiler construction☆84Updated 5 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆81Updated 4 years ago
- ☆79Updated 6 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆99Updated 4 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 5 years ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 3 years ago
- The Makam Metalanguage☆199Updated 2 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 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 3 years ago
- A sudoku game where you have to prove that your deductions are valid☆116Updated 2 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆127Updated 2 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆76Updated 5 years ago
- The adventures of a Haskell compiler☆230Updated 3 months ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- A graphical interactive proof assistant designed for education☆169Updated 9 months ago
- Sed Lisp -- a lisp interpreter in GNU sed☆54Updated 4 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- A compiler for functional programs on serialized data☆166Updated 2 months ago