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.
  ☆152Updated 6 months ago
• justinethier / husk-scheme
  A full implementation of the Scheme programming language for the Haskell Platform.
  ☆309Updated last year
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆117Updated 3 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆222Updated 3 months ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆79Updated 3 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆199Updated 4 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆159Updated 4 years ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆82Updated 3 years ago
• haskell / happy
  The Happy parser generator for Haskell
  ☆301Updated last month
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated last year
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆131Updated 4 years ago
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆76Updated 13 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆152Updated 3 weeks ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆262Updated 10 months ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆205Updated 5 years ago
• haskell / vector
  An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
  ☆376Updated 2 months ago
• tathougies / hos
  The functional Haskell kernel
  ☆134Updated 9 years ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆224Updated 3 months ago
• rainbyte / frag
  Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong
  ☆138Updated 4 years ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆114Updated 4 years ago
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆518Updated 8 months ago
• pigworker / CS410-17
  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…
  ☆263Updated 6 years ago
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• write-you-a-scheme-v2 / scheme
  Write You a Scheme
  ☆562Updated 2 years ago
• ollef / sixten
  Functional programming with fewer indirections
  ☆760Updated 4 years ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆42Updated 4 years ago
• lettier / parsing-with-haskell-parser-combinators
  🔍 A step-by-step guide to parsing using Haskell parser combinators.
  ☆94Updated 5 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆165Updated 4 years ago
• willbasky / Awesome-list-of-Haskell-mentors
  An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
  ☆171Updated 2 years ago
• joaomilho / awesome-idris
  𝛌 Awesome Idris resources
  ☆399Updated 5 years ago