Alternatives and similar repositories for cradle

Users that are interested in cradle are comparing it to the libraries listed below

• soupi / rfc
  My slides and compilation of resources.
  ☆159Updated last year
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆120Updated 4 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆237Updated 3 months ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆162Updated 5 years ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆42Updated 5 years ago
• tathougies / hos
  The functional Haskell kernel
  ☆142Updated 10 years ago
• justinethier / husk-scheme
  A full implementation of the Scheme programming language for the Haskell Platform.
  ☆316Updated 2 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆202Updated 5 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆215Updated 2 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆167Updated 4 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 5 years ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆85Updated 4 years ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆81Updated 4 years ago
• ngzhian / ski
  SKI combinators
  ☆56Updated 8 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆156Updated last week
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆228Updated 10 months ago
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆256Updated 15 years ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆116Updated 4 years ago
• haskell / alex
  A lexical analyser generator for Haskell
  ☆319Updated last week
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆211Updated 6 years ago
• haskell / happy
  The Happy parser generator for Haskell
  ☆319Updated 3 weeks ago
• hatashiro / monkey-hs
  An interpreter for Monkey with parser combinator written in Haskell
  ☆50Updated 6 years ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆273Updated 4 months ago
• sdiehl / papers
  ☆96Updated 11 years ago
• qfpl / hpython
  Haskell language tools for Python
  ☆163Updated 5 years ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆212Updated 7 years ago
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆194Updated 7 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆124Updated 6 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 8 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆77Updated 6 years ago