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 5 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.
  ☆309Updated last year
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆113Updated 3 years ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆40Updated 4 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆159Updated 4 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated last year
• blynn / compiler
  The adventures of a Haskell compiler
  ☆221Updated 2 months ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆77Updated 3 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆152Updated last month
• haskell / happy
  The Happy parser generator for Haskell
  ☆299Updated this week
• haskell / vector
  An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
  ☆373Updated 2 weeks ago
• haskell / haskeline
  A Haskell library for line input in command-line programs.
  ☆231Updated last week
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆76Updated 12 years ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆220Updated 2 months ago
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆253Updated 14 years ago
• UniMath / Schools
  ☆79Updated 5 months ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆204Updated 5 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆199Updated 4 years ago
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆297Updated 3 months ago
• lehins / massiv
  Efficient Haskell Arrays featuring Parallel computation
  ☆386Updated last month
• simonmar / async
  Run IO operations asynchronously and wait for their results
  ☆324Updated 3 months ago
• well-typed / optics
  Optics as an abstract interface
  ☆378Updated last month
• andrevdm / SimpleHaskellStackVM
  Simple demonstration stack based virtual machine written in Haskell
  ☆42Updated 8 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆117Updated 2 years ago
• chrisdone-archive / dynamic
  Dynamic typing in Haskell
  ☆192Updated 5 years ago
• aneksteind / Core
  compile your own functional language
  ☆36Updated 5 years ago
• ghulette / haskell-parser-examples
  Examples of a simple parser written in both Parsec and Happy/Alex
  ☆51Updated 9 years ago
• crabmusket / haskell-simple-concurrency
  Small examples of concurrency in Haskell.
  ☆79Updated 8 years ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆82Updated 3 years ago