Alternatives and similar repositories for programming-in-haskell

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

• phoityne / hdx4vsc
  Haskell Debugger Extension for Visual Studio Code.
  ☆53Updated last month
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 2 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆170Updated 3 months ago
• JustusAdam / language-haskell
  Highlighting support for the Haskell language in visual studio code.
  ☆97Updated 5 months ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆118Updated 2 years ago
• edwinb / TypeDD-Samples
  Sample code from "Type Driven Development with Idris"
  ☆167Updated 8 years ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆227Updated 5 months ago
• haskell-actions / setup
  Setting up GHC, cabal, stack on for Haskell-related CIs
  ☆81Updated this week
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆122Updated 2 months ago
• evturn / programming-in-haskell
  Solutions to exercises from the book Programming in Haskell (2nd Edition)
  ☆46Updated 7 years ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆106Updated last month
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆179Updated last week
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆192Updated last week
• mgrabmueller / TransformersStepByStep
  Tutorial on monad transformers
  ☆62Updated 3 years ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 3 years ago
• haskell / happy
  The Happy parser generator for Haskell
  ☆310Updated last month
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆119Updated 3 months ago
• IHaskell / ihaskell-notebook
  IHaskell image for Jupyter Docker Stacks
  ☆79Updated 4 months ago
• haskellweekly / haskellweekly
  Publishes curated news about the Haskell programming language.
  ☆154Updated this week
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆155Updated last week
• effectfully-ou / sketches
  A Haskell blog
  ☆149Updated 2 months ago
• haskell / haskell-report
  Haskell Language Report
  ☆94Updated 5 years ago
• Apress / practical-haskell
  Source Code for 'Practical Haskell' by Alejandro Serrano Mena
  ☆46Updated 5 years ago
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆130Updated last year
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆209Updated 5 years ago
• haskell / stm
  Software Transactional Memory
  ☆110Updated 3 months ago
• saurabhkukade / Haskell_Study
  Collections of papers and books about Haskell, Type Theory and Category Theory
  ☆167Updated 3 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated 2 years ago
• haskell / actions
  Github actions for Haskell CI
  ☆146Updated last year
• hspec / HUnit
  A unit testing framework for Haskell
  ☆132Updated last year