Alternatives and similar repositories for programming-in-haskell:

Users that are interested in programming-in-haskell are comparing it to the libraries listed below

• singleheart / programming-in-haskell
  My solutions for all exercises in "Programming in Haskell" 2nd ed.
  ☆64Updated 3 months ago
• mgrabmueller / TransformersStepByStep
  Tutorial on monad transformers
  ☆60Updated 3 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 8 years ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆125Updated last year
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆34Updated 3 months ago
• input-output-hk / io-sim
  Haskell's IO simulator which closely follows core packages (base, async, stm).
  ☆41Updated this week
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆41Updated 4 years ago
• patrickt / recschemes
  Text and Haskell source for my blog series on recursion schemes.
  ☆45Updated 2 years ago
• haskell / haskell-report
  Haskell Language Report
  ☆92Updated 5 years ago
• haskellfoundation / haskellfoundation.github.io
  The Haskell Foundation website, hosted by GitHub Pages.
  ☆41Updated this week
• myuon / ghc-compiler-notes
  A collection of Notes on GHC
  ☆69Updated 6 years ago
• AFPChalmers15 / AFPcourse
  http://www.cse.chalmers.se/edu/course/afp/
  ☆11Updated 9 years ago
• Helium4Haskell / helium
  The Helium compiler, Helium-as-a-library, and the texthint interpreter
  ☆96Updated 5 months ago
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆107Updated 10 years ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆101Updated 2 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆101Updated last year
• rocq-community / parseque
  Total Parser Combinators in Coq [maintainer=@womeier]
  ☆43Updated last month
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆40Updated 3 months ago
• ucsd-progsys / lh-plugin-demo
  A small package that demonstrates how to use LiquidHaskell as a GHC plugin
  ☆24Updated 8 months ago
• vincenthz / hs-gauge
  Lean Haskell Benchmarking
  ☆90Updated 2 years ago
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆94Updated 2 months ago
• Apress / practical-haskell
  Source Code for 'Practical Haskell' by Alejandro Serrano Mena
  ☆47Updated 5 years ago
• teach-plt / plt-errata
  Collection of errata for book Aarne Ranta, Implementing Programming Languages
  ☆12Updated last week
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆60Updated 2 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆116Updated 2 years ago
• well-typed / visualize-cbn
  ☆100Updated last month
• sdiehl / repline
  Haskeline wrapper for GHCi-like REPL interfaces
  ☆107Updated last year
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆185Updated last week
• chiroptical / declarative-programming-streams
  Active streaming declarative programmers. See who's online at the following URL:
  ☆67Updated last year
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago