g-ford / cradleLinks
Let's Build a Compiler (in Haskell)
☆169Updated 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.☆155Updated last year
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆119Updated 4 years ago
- A Turing complete language 😉☆42Updated 5 years ago
- The functional Haskell kernel☆140Updated 9 years ago
- The adventures of a Haskell compiler☆232Updated 5 months ago
- A continuation of Stephen Diehl's Write You a Haskell☆161Updated 4 years ago
- A book on programming languages, using Haskell☆166Updated 4 years ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆315Updated last year
- Kaleidoscope Tutorial using llvm-hs☆85Updated 4 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆215Updated 2 years ago
- The LLVM LHC Haskell Optimization System☆202Updated 5 years ago
- My solutions to the popular Haskell tutorial☆76Updated 13 years ago
- An implementation of Pie in Haskell☆210Updated 5 years ago
- A Pascal to LLVM compiler in Haskell☆124Updated 5 years ago
- Dependently Typed Lambda Calculus in Haskell☆115Updated 4 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆155Updated this week
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- A minimal proof language.☆210Updated 6 years ago
- Collection of Idris tests and demonstration programs☆193Updated 7 years ago
- The home of the Glamorous Glambda interpreter☆227Updated 6 months ago
- Functional teaching language for use in a discrete mathematics course☆170Updated 3 months ago
- Classic Algorithm W for type inference.☆254Updated 15 years ago
- An interpreter for Monkey with parser combinator written in Haskell☆49Updated 6 years ago
- Simple demonstration stack based virtual machine written in Haskell☆42Updated 9 years ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆133Updated 5 years ago
- The Happy parser generator for Haskell☆312Updated last month
- Haskell language tools for Python☆162Updated 5 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Write You a Scheme☆571Updated 2 years ago