g-ford / cradleLinks
Let's Build a Compiler (in Haskell)
☆167Updated 5 years ago
Alternatives and similar repositories for cradle
Users that are interested in cradle are comparing it to the libraries listed below
Sorting:
- My slides and compilation of resources.☆153Updated 9 months ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆117Updated 4 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆160Updated 4 years ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆310Updated last year
- The home of the Glamorous Glambda interpreter☆224Updated 2 months ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- The adventures of a Haskell compiler☆225Updated 3 weeks ago
- My solutions to the popular Haskell tutorial☆76Updated 13 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆154Updated last month
- The LLVM LHC Haskell Optimization System☆200Updated 5 years ago
- Dependently Typed Lambda Calculus in Haskell☆115Updated 4 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Kaleidoscope Tutorial using llvm-hs☆82Updated 4 years ago
- An implementation of Pie in Haskell☆205Updated 5 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆80Updated 3 years ago
- Classic Algorithm W for type inference.☆253Updated 15 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- A collection of resources for learning type theory.☆100Updated 8 years ago
- Spartan type theory☆266Updated last year
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆56Updated 4 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- A Turing complete language 😉☆42Updated 4 years ago
- Write You a Scheme☆566Updated 2 years ago
- A book on programming languages, using Haskell☆164Updated 4 years ago
- Fake dependent types in Haskell using singletons☆290Updated last month
- SKI combinators☆55Updated 8 years ago
- The Happy parser generator for Haskell☆301Updated 3 weeks ago
- Collection of Idris tests and demonstration programs☆192Updated 7 years ago
- Simple demonstration stack based virtual machine written in Haskell☆42Updated 9 years ago