Alternatives and similar repositories for programming-in-haskell:

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

• evturn / programming-in-haskell
  Solutions to exercises from the book Programming in Haskell (2nd Edition)
  ☆46Updated 6 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆117Updated 2 years ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆108Updated 2 years ago
• haskell / stm
  Software Transactional Memory
  ☆102Updated 2 months ago
• edwinb / TypeDD-Samples
  Sample code from "Type Driven Development with Idris"
  ☆161Updated 7 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆165Updated this week
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆122Updated 10 months ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆212Updated last year
• hspec / hspec-example
  A Haskell/Hspec skeleton project
  ☆92Updated last year
• Helium4Haskell / helium
  The Helium compiler, Helium-as-a-library, and the texthint interpreter
  ☆94Updated last month
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆72Updated 2 years ago
• teach-plt / plt-errata
  Collection of errata for book Aarne Ranta, Implementing Programming Languages
  ☆12Updated 2 years ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆87Updated this week
• singleheart / programming-in-haskell
  My solutions for all exercises in "Programming in Haskell" 2nd ed.
  ☆61Updated last week
• dnikolovv / practical-haskell
  A collection of Practical Haskell bits.
  ☆84Updated 2 years ago
• patrickt / recschemes
  Text and Haskell source for my blog series on recursion schemes.
  ☆45Updated 2 years ago
• stefan-hoeck / idris2-pack
  ☆108Updated this week
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆125Updated last year
• haskell / core-libraries-committee
  ☆95Updated 2 weeks ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated last year
• edwinb / SPLV20
  SPLV20 course notes
  ☆107Updated 2 years ago
• turion / rhine
  Haskell Functional Reactive Programming framework with type-level clocks
  ☆128Updated this week
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆182Updated this week
• wasp-lang / haskell-handbook
  Best practices on how to be efficient with Haskell in production
  ☆95Updated 6 months ago
• andreasabel / miniagda
  A prototypical dependently typed languages with sized types and variances
  ☆104Updated 2 years ago
• IHaskell / ihaskell-notebook
  IHaskell image for Jupyter Docker Stacks
  ☆79Updated last year
• llvm-hs / llvm-hs-examples
  Examples for Haskell bindings to LLVM
  ☆71Updated 3 years ago
• pigworker / CS410-18
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆56Updated 5 years ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 3 months ago
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆137Updated last year