Alternatives and similar repositories for practical-haskell-3e

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

• Apress / practical-haskell
  Source Code for 'Practical Haskell' by Alejandro Serrano Mena
  ☆46Updated 6 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated 4 months ago
• PacktPublishing / Haskell-High-Performance-Programming
  Haskell high Performance Programming, published by Packt
  ☆44Updated 3 years ago
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆19Updated last year
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆48Updated 2 years ago
• mark-watson / haskell_tutorial_cookbook_examples
  Code samples for my book "Haskell Tutorial and Cookbook"
  ☆83Updated 2 months ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆110Updated 2 weeks 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
• uroboros / haskell_design_patterns
  Code bundle for "Haskell Design Patterns" book
  ☆18Updated 10 years ago
• fpco / schoolofhaskell.com
  ☆15Updated 5 years ago
• MondayMorningHaskell / AdventOfCode
  ☆15Updated 2 years ago
• cedille / ial
  The Iowa Agda Library
  ☆53Updated 2 months ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆60Updated 4 months ago
• keithfancher / haskell-notes
  Learn me a Haskell, finally. (And you can too!)
  ☆48Updated last year
• mstksg / inCode
  Source for personal blog.
  ☆78Updated this week
• mikesperber / icfp2020
  Material for ICFP 2020 tutorial on functional software architecture
  ☆17Updated 5 years ago
• chiroptical / book-of-monads
  Finished Book of Monads by Alejandro Serrano-Mena
  ☆27Updated 5 years ago
• pascalh / Astview
  Astview is a graphical viewer for abstract syntax trees
  ☆25Updated 3 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆55Updated 8 years ago
• mvaldesdeleon / haskell-book
  Exercises and code from "Haskell Programming from First Principles"
  ☆97Updated 4 years ago
• emilypi / group-theory
  The theory of groups
  ☆81Updated 2 years ago
• typeclasses / typeclasses-projects
  Supplementary code for Type Classes projects
  ☆25Updated 5 years ago
• serokell / blog-posts
  The place for submitting new articles to the Serokell blog.
  ☆16Updated last year
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆93Updated last year
• Apress / practical-webdev-haskell
  Source Code for 'Practical Web Development with Haskell' by Ecky Putrady
  ☆37Updated 7 years ago
• graninas / Andromeda
  ☆79Updated last year
• rcook / beginning-practical-haskell
  An introductory Haskell programming course by Richard Cook
  ☆30Updated 7 years ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆74Updated 7 years ago
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆24Updated 3 years ago