Alternatives and similar repositories for practical-haskell-3e

Users that are interested in practical-haskell-3e are comparing it to the libraries listed below

• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• PacktPublishing / Haskell-High-Performance-Programming
  Haskell high Performance Programming, published by Packt
  ☆43Updated 2 years ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆43Updated last year
• Apress / practical-haskell
  Source Code for 'Practical Haskell' by Alejandro Serrano Mena
  ☆47Updated 5 years ago
• cedille / ial
  The Iowa Agda Library
  ☆48Updated last week
• uroboros / haskell_design_patterns
  Code bundle for "Haskell Design Patterns" book
  ☆18Updated 9 years ago
• chiroptical / thinking-with-types
  Working through the Thinking with Types book in Haskell
  ☆35Updated 5 years ago
• rpeszek / notes-milewski-ctfp-hs
  Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
  ☆33Updated 6 years ago
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆24Updated 4 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• TheWizardTower / monadTransformers
  Repo for the talk "Monad Transformers For The Easily Confused", for LambdaConf 2018
  ☆19Updated 7 years ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• fpco / schoolofhaskell.com
  ☆16Updated 5 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆59Updated last year
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆52Updated last year
• eir-forsakring / aws-lambda-haskell-runtime-wai
  Seamlessly deploy your existing Wai application on AWS Lambda.
  ☆13Updated 2 years ago
• mark-watson / haskell_tutorial_cookbook_examples
  Code samples for my book "Haskell Tutorial and Cookbook"
  ☆82Updated last month
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated last year
• snoyberg / why-you-should-use-stm
  ☆42Updated 6 years ago
• bravit / tt-ghc-exercises
  ☆28Updated 7 years ago
• simple-haskell / simple-haskell-website
  Home page for the Simple Haskell Initiative
  ☆15Updated 2 years ago
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆19Updated 5 months ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• rcook / beginning-practical-haskell
  An introductory Haskell programming course by Richard Cook
  ☆30Updated 7 years ago
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated 9 months ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 7 months ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆33Updated 6 months ago
• chiroptical / book-of-monads
  Finished Book of Monads by Alejandro Serrano-Mena
  ☆27Updated 5 years ago
• haskellfoundation / tech-proposals
  The Haskell Foundation Tech Proposal Process
  ☆70Updated 10 months ago