g-ford / cradle
Let's Build a Compiler (in Haskell)
☆166Updated 5 years ago
Alternatives and similar repositories for cradle:
Users that are interested in cradle are comparing it to the libraries listed below
- My slides and compilation of resources.☆152Updated 7 months ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆117Updated 3 years ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆309Updated last year
- A continuation of Stephen Diehl's Write You a Haskell☆159Updated 4 years ago
- The adventures of a Haskell compiler☆225Updated 4 months ago
- The LLVM LHC Haskell Optimization System☆200Updated 4 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated last year
- Example implementation of Algorithm W for Hindley-Milner type inference☆79Updated 3 years ago
- A Turing complete language 😉☆42Updated 4 years ago
- The home of the Glamorous Glambda interpreter☆224Updated 3 weeks ago
- A lexical analyser generator for Haskell☆307Updated 2 weeks ago
- My solutions to the popular Haskell tutorial☆76Updated 13 years ago
- Haskell language tools for Python☆160Updated 5 years ago
- A book on programming languages, using Haskell☆164Updated 4 years ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆131Updated 4 years ago
- 🌋 Endless runner game☆195Updated 3 years ago
- Spartan type theory☆263Updated 11 months ago
- Kaleidoscope Tutorial using llvm-hs☆82Updated 3 years ago
- Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer☆197Updated last year
- The functional Haskell kernel☆135Updated 9 years ago
- SKI combinators☆54Updated 7 years ago
- Classic Algorithm W for type inference.☆253Updated 15 years ago
- A Haskell library for line input in command-line programs.☆233Updated last month
- Strongly-typed System F in Haskell☆116Updated 2 years ago
- An implementation of Pie in Haskell☆205Updated 5 years ago
- An interpreter for Monkey with parser combinator written in Haskell☆48Updated 5 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- Dependently Typed Lambda Calculus in Haskell☆114Updated 4 years ago
- A Functional Graph Library for Haskell☆188Updated 6 months ago
- Haskell bindings for LLVM☆518Updated 9 months ago