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
• Apress / practical-haskell
  Source Code for 'Practical Haskell' by Alejandro Serrano Mena
  ☆47Updated 5 years ago
• chiroptical / thinking-with-types
  Working through the Thinking with Types book in Haskell
  ☆35Updated 4 years ago
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆24Updated 3 years ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆40Updated last year
• fpco / schoolofhaskell.com
  ☆16Updated 4 years ago
• chiroptical / book-of-monads
  Finished Book of Monads by Alejandro Serrano-Mena
  ☆27Updated 4 years ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 3 months ago
• typeclasses / typeclasses-projects
  Supplementary code for Type Classes projects
  ☆25Updated 5 years ago
• jacobneu / HoTT-agda
  Formalization of Homotopy Type Theory for use in my Youtube videos
  ☆15Updated 9 months ago
• mark-watson / haskell_tutorial_cookbook_examples
  Code samples for my book "Haskell Tutorial and Cookbook"
  ☆82Updated last month
• rpeszek / notes-milewski-ctfp-hs
  Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
  ☆34Updated 5 years ago
• serokell / blog-posts
  The place for submitting new articles to the Serokell blog.
  ☆16Updated last year
• prikhi / stack-templatizer
  Transform a Folder into a Stack Template
  ☆13Updated last year
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆89Updated last month
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆65Updated 2 months ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• haskellfoundation / HaskellSchool
  ☆51Updated 2 years ago
• owickstrom / domain-modeling-with-haskell-data-structures
  A talk given at the Polyglot meetup in CPH, March 2018
  ☆13Updated 6 years ago
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆18Updated 2 months ago
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆22Updated 8 months ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated this week
• sirlensalot / fadno-braids
  Braid representations in Haskell
  ☆21Updated last year
• JonathanLorimer / book-of-monads
  Exercises from the 'Book of Monads' by Alejandro Serrano Mena
  ☆19Updated 4 years ago
• MondayMorningHaskell / AdventOfCode
  ☆15Updated last year
• sighingnow / duckdb-haskell
  Full-featured haskell bindings for the duckdb database.
  ☆16Updated last year
• ChrisPenner / lens-csv
  Lensy interface for parsing CSV's
  ☆42Updated 4 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago