Alternatives and similar repositories for SICP-in-Haskell:

Users that are interested in SICP-in-Haskell are comparing it to the libraries listed below

• ninegua / lambda-viewer
  Learn You a Lambda, a Haskell Tutorial
  ☆47Updated 8 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 14 years ago
• HaskellCNOrg / haper
  FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers
  ☆12Updated 7 years ago
• neutronest / vortex
  a Haskell implementation of Deep Learning frameworks.
  ☆12Updated 8 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 11 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆31Updated 11 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆71Updated 5 months ago
• rainoftime / PFAD
  Pearls of Functional Algorithm Design
  ☆68Updated 9 years ago
• cofinalsubnets / wisp
  small-but-featureful embeddable lisp interpreter written in haskell.
  ☆115Updated 11 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 8 years ago
• ekmett / gl
  Complete raw OpenGL bindings for Haskell
  ☆93Updated 8 months ago
• Javran / Thinking-dumps
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆24Updated 3 years ago
• aistrate / Okasaki
  Code from the book "Purely Functional Data Structures" by Chris Okasaki (both original and my own solutions to the exercises, in Haskell)
  ☆35Updated 14 years ago
• be5invis / idris-codegen-es
  Optimized JS codegen for Idris
  ☆54Updated 6 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• dag / all-about-monads
  Attempt to port All About Monads to HaskellWiki
  ☆54Updated 7 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 5 years ago
• TerrorJack / erumpo
  Just a prototype, but will be improved soon.
  ☆22Updated 10 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆43Updated 12 years ago
• CNMDR3G / CNMDR3G
  CN MonaD.ReadeR Reading Group
  ☆108Updated 8 years ago
• FranklinChen / twenty-four-days2015-of-hackage
  My own little "24 Days of Hackage" for 2015
  ☆62Updated 8 years ago
• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆67Updated 8 years ago
• gasche / popl2017-papers
  Link to preprints for POPL'17 and co-located events
  ☆100Updated 7 years ago
• scmu / foundations-harper
  Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
  ☆54Updated 5 years ago