Alternatives and similar repositories for DaoFP

Users that are interested in DaoFP are comparing it to the libraries listed below

• BartoszMilewski / Publications

  View on GitHub
  Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
  ☆1,280Jan 23, 2026Updated 3 weeks ago
• robrix / languages-all-the-way-down

  View on GitHub
  outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
  ☆20Jun 12, 2020Updated 5 years ago
• purefunctor / purescript-dissect

  View on GitHub
  Dissectible data structures for implementing iterative traversals.
  ☆20May 6, 2022Updated 3 years ago
• kowainik / piece-of-cake-slayer

  View on GitHub
  🍰🍴Template project based on the cake-slayer architecture library
  ☆19Jan 11, 2023Updated 3 years ago
• isovector / certainty-by-construction

  View on GitHub
  Source material for Certainty by Construction
  ☆48Jan 20, 2024Updated 2 years ago
• sergv / atomic-counter

  View on GitHub
  Haskell counters that can be safely incremented from multiple threads
  ☆19Oct 7, 2025Updated 4 months ago
• hmemcpy / milewski-ctfp-pdf

  View on GitHub
  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
  ☆11,486Jan 24, 2026Updated 3 weeks ago
• conal / talk-2023-galilean-revolution

  View on GitHub
  A Galilean revolution for computing: Unboundedly scalable reliability and efficiency
  ☆15Aug 6, 2023Updated 2 years ago
• chshersh / pragmatic-category-theory

  View on GitHub
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Dec 20, 2024Updated last year
• prathyvsh / category-theory-resources

  View on GitHub
  Resources for learning Category Theory for an enthusiast
  ☆662Apr 5, 2023Updated 2 years ago
• kowainik / unlift

  View on GitHub
  🛗 Typeclass for monads that can be unlifted to arbitrary base monads
  ☆25Apr 21, 2021Updated 4 years ago
• emilypi / order

  View on GitHub
  Order theory
  ☆25Sep 7, 2023Updated 2 years ago
• graninas / Pragmatic-Type-Level-Design

  View on GitHub
  Code and materials for my book "Pragmatic Type Level Design"
  ☆150Apr 9, 2025Updated 10 months ago
• plfa / plfa.github.io

  View on GitHub
  An introduction to programming language theory in Agda
  ☆1,487Jan 27, 2026Updated 2 weeks ago
• kayceesrk / cs3100_m25

  View on GitHub
  IITM Paradigms of Programming -- Monsoon 2025
  ☆18Nov 17, 2025Updated 3 months ago
• haskellweekly / haskellweekly

  View on GitHub
  Publishes curated news about the Haskell programming language.
  ☆153Updated this week
• leanprover / fp-lean

  View on GitHub
  Functional Programming in Lean
  ☆141Jan 23, 2026Updated 3 weeks ago
• ajnsit / purescript-from-scratch

  View on GitHub
  A comprehensive and practical tutorial for people to learn Purescript without any prior experience with functional programming
  ☆13Mar 22, 2021Updated 4 years ago
• well-typed / recover-rtti

  View on GitHub
  Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
  ☆35Jan 7, 2026Updated last month
• minad / henk

  View on GitHub
  pure type system language - henk 2000 ported to megaparsec, pretty
  ☆22Oct 8, 2015Updated 10 years ago
• haskell-actions / hackage-publish

  View on GitHub
  A GitHub action for publishing packages on Hackage
  ☆33Jan 8, 2024Updated 2 years ago
• bobatkey / CS316-2022

  View on GitHub
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆24Nov 22, 2022Updated 3 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
• haskell-beginners-2022 / course-plan

  View on GitHub
  📜 Haskell course info, plan, video lectures, slides
  ☆1,532Jul 9, 2023Updated 2 years ago
• abuseofnotation / category-theory-illustrated

  View on GitHub
  A book about category theory
  ☆454Updated this week
• lexi-lambda / racket-commonmark

  View on GitHub
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆35Oct 8, 2024Updated last year
• 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
• agda / agda

  View on GitHub
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,788Updated this week
• jozefg / learn-tt

  View on GitHub
  A collection of resources for learning type theory and type theory adjacent fields.
  ☆2,419Apr 21, 2025Updated 9 months ago
• yihozhang / most-influential-pl-papers

  View on GitHub
  Most influential papers in programming languages
  ☆59Jan 20, 2025Updated last year
• jespercockx / agda-lecture-notes

  View on GitHub
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆132Jul 17, 2025Updated 7 months ago
• agda / agda2hs

  View on GitHub
  Compiling Agda code to readable Haskell
  ☆200Feb 3, 2026Updated 2 weeks ago
• well-typed / unfolder

  View on GitHub
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆110Jan 21, 2026Updated 3 weeks ago
• purescript-web / purescript-webgpu

  View on GitHub
  Low-level bindings to WebGPU
  ☆15Aug 4, 2023Updated 2 years ago
• well-typed / optics

  View on GitHub
  Optics as an abstract interface
  ☆387Updated this week
• yallop / effects-bibliography

  View on GitHub
  A collaborative bibliography of work related to the theory and practice of computational effects
  ☆1,113Nov 4, 2025Updated 3 months ago
• the1lab / 1lab

  View on GitHub
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆420Updated this week
• nomeata / haskell-for-readers

  View on GitHub
  Lecture notes for teaching Haskell to those who want to read it
  ☆55May 16, 2022Updated 3 years ago
• mstksg / servant-cli

  View on GitHub
  Generate a command line client from a servant API
  ☆28Jan 12, 2024Updated 2 years ago