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 8 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆73Updated 8 months ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆31Updated 12 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆45Updated 12 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 12 years ago
• neutronest / vortex
  a Haskell implementation of Deep Learning frameworks.
  ☆12Updated 9 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• rainoftime / PFAD
  Pearls of Functional Algorithm Design
  ☆67Updated 9 years ago
• CNMDR3G / CNMDR3G
  CN MonaD.ReadeR Reading Group
  ☆107Updated 9 years ago
• HaskellZhangSong / Introduction_to_Haskell
  This is source code of my book.
  ☆67Updated 8 years ago
• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆66Updated 8 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 8 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 9 years ago
• be5invis / idris-codegen-es
  Optimized JS codegen for Idris
  ☆54Updated 6 years ago
• scslab / cs240h-notes
  Stanford CS240h Class Notes -- Functional Systems in Haskell
  ☆27Updated 10 years ago
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆63Updated 5 years ago
• cofinalsubnets / wisp
  small-but-featureful embeddable lisp interpreter written in haskell.
  ☆115Updated 11 years ago
• mflatt / plai-typed
  ☆51Updated 2 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
• seckcoder / course-compiler
  Reference implementation for the Essentials of Compilation course
  ☆17Updated 8 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 6 years ago
• soimort / wiki
  ☆78Updated 7 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• bobzhang / ocaml-book
  a book about ocaml
  ☆186Updated 7 years ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• ekmett / gl
  Complete raw OpenGL bindings for Haskell
  ☆93Updated last month
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆76Updated 13 years ago