Alternatives and similar repositories for algebra-driven-design

Users that are interested in algebra-driven-design are comparing it to the libraries listed below

• isovector / thinking-with-types

  View on GitHub
  📖 source material for Thinking with Types
  ☆493Mar 6, 2023Updated 2 years ago
• cofree-coffee / cofree-bot

  View on GitHub
  A library for building bots compositionally.
  ☆48Mar 10, 2025Updated 11 months ago
• polysemy-research / polysemy

  View on GitHub
  higher-order, no-boilerplate monads
  ☆1,076Mar 15, 2025Updated 10 months ago
• TristanCacqueray / hadertoy

  View on GitHub
  Haskell implementation of Glumpy
  ☆12Jun 21, 2021Updated 4 years ago
• haskellfoundation / tech-proposals

  View on GitHub
  The Haskell Foundation Tech Proposal Process
  ☆70Sep 25, 2025Updated 4 months ago
• isovector / dynahaskell

  View on GitHub
  the dynabook but for haskell
  ☆23Sep 23, 2019Updated 6 years ago
• isovector / containers-good-graph

  View on GitHub
  It's Data.Graph, but it doesn't suck!
  ☆16Jun 3, 2021Updated 4 years ago
• bolt12 / tymfgg-pearl

  View on GitHub
  Type Your Matrices For Great Good
  ☆29Jul 22, 2020Updated 5 years ago
• graninas / software-design-in-haskell

  View on GitHub
  Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
  ☆1,106Dec 18, 2024Updated last year
• isovector / functional-design-patterns

  View on GitHub
  could it be?
  ☆18Jul 11, 2025Updated 7 months ago
• sergv / atomic-counter

  View on GitHub
  Haskell counters that can be safely incremented from multiple threads
  ☆19Oct 7, 2025Updated 4 months ago
• bgamari / criterion-compare

  View on GitHub
  A simple tool for visualising differences in Criterion benchmark results
  ☆14Apr 11, 2025Updated 10 months ago
• conal / talk-2021-can-tensor-programming-be-liberated

  View on GitHub
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Oct 31, 2021Updated 4 years ago
• isovector / certainty-by-construction

  View on GitHub
  Source material for Certainty by Construction
  ☆48Jan 20, 2024Updated 2 years ago
• hasura / eff

  View on GitHub
  🚧 a work in progress effect system for Haskell 🚧
  ☆561May 5, 2023Updated 2 years ago
• nomeata / haskell-on-fastly

  View on GitHub
  Experiments about running Haskell via WebAssembly on Fastly
  ☆40Mar 9, 2023Updated 2 years ago
• circuithub / rel8

  View on GitHub
  Hey! Hey! Can u rel8?
  ☆162Dec 5, 2025Updated 2 months ago
• haskellfoundation / HaskellSchool

  View on GitHub
  ☆51Jul 20, 2022Updated 3 years ago
• protolude / protolude

  View on GitHub
  A sensible starting Prelude template.
  ☆404May 16, 2025Updated 8 months ago
• serras / zurihac-workshop

  View on GitHub
  A bit of DSLs, a bit of I/O
  ☆15Oct 19, 2023Updated 2 years ago
• phadej / overloaded

  View on GitHub
  Overloaded plugin
  ☆31Jun 15, 2024Updated last year
• circuithub / haskell-gerber

  View on GitHub
  A library for parsing Gerbers
  ☆20Jun 20, 2025Updated 7 months ago
• snowleopard / selective

  View on GitHub
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆210Oct 22, 2025Updated 3 months ago
• haskell / cabal-userguide

  View on GitHub
  A handy user guide for the Cabal build tool
  ☆29Sep 10, 2021Updated 4 years ago
• tweag / linear-base

  View on GitHub
  Standard library for linear types in Haskell.
  ☆352Jan 27, 2026Updated 2 weeks ago
• ocramz / algebraic-graphs-io

  View on GitHub
  I/O utilities and datasets for algebraic-graphs
  ☆14Aug 29, 2022Updated 3 years ago
• MercuryTechnologies / ada

  View on GitHub
  A helpful AI assistant for Mercury engineers
  ☆21Jan 9, 2026Updated last month
• bolt12 / advent-of-haskell-dd

  View on GitHub
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Jan 2, 2022Updated 4 years ago
• BartoszMilewski / Publications

  View on GitHub
  Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
  ☆1,280Jan 23, 2026Updated 3 weeks ago
• vmchale / permutations

  View on GitHub
  Provides a type-safe way of working with permutations in Idris
  ☆37Oct 3, 2021Updated 4 years ago
• tweag / monad-bayes

  View on GitHub
  A library for probabilistic programming in Haskell.
  ☆442Updated this week
• martijnbastiaan / doctest-parallel

  View on GitHub
  Test interactive Haskell examples
  ☆34Jun 8, 2025Updated 8 months ago
• haskell / hie-bios

  View on GitHub
  Set up a GHC API session for various Haskell Projects
  ☆198Feb 6, 2026Updated last week
• ChrisPenner / lens-regex-pcre

  View on GitHub
  Text lenses using PCRE regexes
  ☆128Dec 11, 2024Updated last year
• epogrebnyak / haskell-intro

  View on GitHub
  Seven classes on Haskell and a follow-up reading list
  ☆56Dec 27, 2024Updated last year
• TOTBWF / omit-generics

  View on GitHub
  Omit fields for instance deriving
  ☆37Jun 5, 2020Updated 5 years ago
• simple-haskell / simple-haskell-website

  View on GitHub
  Home page for the Simple Haskell Initiative
  ☆15Jun 29, 2022Updated 3 years ago
• isovector / ldtk-types

  View on GitHub
  Types for ldtk
  ☆16Apr 13, 2024Updated last year
• conal / paper-2021-language-derivatives

  View on GitHub
  Paper and talk
  ☆55Jul 11, 2023Updated 2 years ago