Alternatives and similar repositories for monoid.space

Users that are interested in monoid.space are comparing it to the libraries listed below

• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆219Updated 3 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆156Updated last week
• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆82Updated last month
• chiroptical / thinking-with-types
  Working through the Thinking with Types book in Haskell
  ☆34Updated 5 years ago
• ChrisPenner / comonads-by-example
  Comonads By Example Conference talk
  ☆89Updated 6 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆211Updated 6 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆311Updated 2 years ago
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆157Updated 2 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆162Updated 5 years ago
• lettier / parsing-with-haskell-parser-combinators
  🔍 A step-by-step guide to parsing using Haskell parser combinators.
  ☆93Updated 6 years ago
• saurabhkukade / Haskell_Study
  Collections of papers and books about Haskell, Type Theory and Category Theory
  ☆165Updated 4 years ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆133Updated 6 months ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 4 years ago
• llelf / icfp2020-papers
  ICFP 2020 papers. Crowd-sourced
  ☆90Updated 5 years ago
• fakedata-haskell / fakedata
  Haskell Library for producing quality fake data
  ☆149Updated last year
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆48Updated 2 years ago
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆33Updated 5 years ago
• graninas / hierarchical-free-monads-the-most-developed-approach-in-haskell
  Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell
  ☆155Updated 4 years ago
• oswald2 / haskell_articles
  A List of Haskell articles on good design, good testing
  ☆46Updated 6 years ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆91Updated 7 years ago
• haskell / primitive
  This package provides various primitive memory-related operations.
  ☆121Updated last month
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆200Updated 4 years ago
• emilypi / group-theory
  The theory of groups
  ☆81Updated 2 years ago
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 5 years ago
• ChrisPenner / wc
  Beating unix `wc` in Haskell
  ☆137Updated 4 years ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆84Updated 3 weeks ago
• zhangchiqing / beginner-friendly-haskell-for-web-development
  A book about real world web development in beginner friendly Haskell
  ☆77Updated 6 years ago
• polysemy-research / polysemy-zoo
  Experimental, user-contributed effects and interpreters for polysemy
  ☆72Updated 2 years ago
• lehins / hip
  Haskell Image Processing Library
  ☆119Updated 2 years ago
• system-f / lets-lens
  Course material for lens
  ☆240Updated last year