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.
  ☆150Updated 4 months ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆116Updated 3 years ago
• justinethier / husk-scheme
  A full implementation of the Scheme programming language for the Haskell Platform.
  ☆308Updated last year
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆158Updated 4 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆215Updated last month
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆220Updated last month
• write-you-a-scheme-v2 / scheme
  Write You a Scheme
  ☆557Updated 2 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆198Updated 4 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆212Updated last year
• haskell / happy
  The Happy parser generator for Haskell
  ☆296Updated this week
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆152Updated 2 weeks ago
• haskell / haskeline
  A Haskell library for line input in command-line programs.
  ☆227Updated 6 months ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆82Updated 3 years ago
• saurabhkukade / Haskell_Study
  Collections of papers and books about Haskell, Type Theory and Category Theory
  ☆166Updated 3 years ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆77Updated 2 years ago
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆162Updated 9 months ago
• haskell / mtl
  The Monad Transformer Library
  ☆368Updated 5 months ago
• haskell / vector
  An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
  ☆369Updated this week
• haskell / text
  Haskell library for space- and time-efficient operations over Unicode text.
  ☆411Updated 2 weeks ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆261Updated 7 months ago
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆213Updated 2 years ago
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆288Updated last week
• hatashiro / monkey-hs
  An interpreter for Monkey with parser combinator written in Haskell
  ☆48Updated 5 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆117Updated 2 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆204Updated 5 years ago
• haskellweekly / haskellweekly
  Publishes curated news about the Haskell programming language.
  ☆144Updated this week
• well-typed / optics
  Optics as an abstract interface
  ☆378Updated 2 weeks ago
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆251Updated 14 years ago
• zfoh / haskell-beginners-projects
  A couple of Haskell beginner projects, for ZuriHac 2016
  ☆44Updated 6 years ago
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆514Updated 6 months ago