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
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆43Updated last year
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆19Updated 5 months ago
• PacktPublishing / Haskell-High-Performance-Programming
  Haskell high Performance Programming, published by Packt
  ☆43Updated 2 years ago
• keithfancher / haskell-notes
  Learn me a Haskell, finally. (And you can too!)
  ☆48Updated 9 months ago
• uroboros / haskell_design_patterns
  Code bundle for "Haskell Design Patterns" book
  ☆18Updated 9 years ago
• justinwoo / real-world-purescript-workshop-2019
  Sources for a workshop given at Monadic Party 2019 on PureScript and how to use types and FFI to solve real world problems.
  ☆23Updated 5 years ago
• haskellfoundation / HaskellSchool
  ☆51Updated 2 years ago
• chiroptical / thinking-with-types
  Working through the Thinking with Types book in Haskell
  ☆35Updated 5 years ago
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆24Updated 3 years ago
• ChrisPenner / lens-csv
  Lensy interface for parsing CSV's
  ☆42Updated 4 years ago
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆69Updated 5 months ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆99Updated 3 weeks ago
• stefan-hoeck / idris2-prim
  Axioms and Propositions for Primitives in Idris2
  ☆11Updated last year
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆17Updated 11 months ago
• dnikolovv / haskell-tic-tac-toe
  A multiplayer web real-time implementation of the famous Tic Tac Toe game in Haskell.
  ☆61Updated 2 years ago
• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆54Updated this week
• haskell / docker-haskell
  ☆66Updated 3 weeks ago
• fpco / schoolofhaskell.com
  ☆16Updated 5 years ago
• phoityne / haskell-dap
  Haskell implementation of DAP interface data.
  ☆25Updated 3 weeks ago
• Apress / practical-webdev-haskell
  Source Code for 'Practical Web Development with Haskell' by Ecky Putrady
  ☆38Updated 6 years ago
• rpeszek / notes-milewski-ctfp-hs
  Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
  ☆34Updated 6 years ago
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆22Updated 3 years ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 6 months ago
• purescript / registry
  Registry of PureScript packages and metadata about them
  ☆47Updated 2 weeks ago
• snoyberg / why-you-should-use-stm
  ☆42Updated 6 years ago
• freckle / stack-action
  GitHub Action to build, test, and lint Stack-based Haskell projects
  ☆22Updated last week
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆22Updated last week
• vmchale / dickinson
  Text generation language
  ☆34Updated 2 weeks ago
• mark-watson / haskell_tutorial_cookbook_examples
  Code samples for my book "Haskell Tutorial and Cookbook"
  ☆82Updated last month