Alternatives and similar repositories for category-theory-for-programmers-challenges

Users that are interested in category-theory-for-programmers-challenges are comparing it to the libraries listed below

• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆351Updated last month
• 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
  ☆156Updated 4 years ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆227Updated 5 months ago
• willbasky / Awesome-list-of-Haskell-mentors
  An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
  ☆178Updated 3 years ago
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆152Updated last year
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆161Updated 4 years ago
• sassela / haskell-learning
  Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.
  ☆137Updated 4 years ago
• system-f / lets-lens
  Course material for lens
  ☆239Updated 9 months ago
• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆218Updated last year
• saurabhkukade / Haskell_Study
  Collections of papers and books about Haskell, Type Theory and Category Theory
  ☆167Updated 3 years ago
• edwinb / TypeDD-Samples
  Sample code from "Type Driven Development with Idris"
  ☆167Updated 8 years ago
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆197Updated 4 years ago
• OPLSS / introduction-to-algebraic-effects-and-handlers
  Introduction to algebraic effects and handlers
  ☆98Updated 7 years ago
• lettier / parsing-with-haskell-parser-combinators
  🔍 A step-by-step guide to parsing using Haskell parser combinators.
  ☆95Updated 5 years ago
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆218Updated 3 years ago
• pigworker / CS410-17
  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…
  ☆264Updated 7 years ago
• sweirich / dth
  Examples of Dependently-typed programs in Haskell
  ☆307Updated 2 years ago
• ChrisPenner / comonads-by-example
  Comonads By Example Conference talk
  ☆89Updated 6 years ago
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆210Updated last month
• bravit / hid-examples
  Examples to accompany the book "Haskell in Depth"
  ☆264Updated 5 months ago
• thma / PolysemyCleanArchitecture
  Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture mo…
  ☆193Updated last year
• dramforever / vscode-ghc-simple
  Simple GHC (Haskell) integration for VSCode
  ☆228Updated last year
• graninas / automatic-whitebox-testing-showcase
  Automatic white-box testing with Free monads: approach description and showcase
  ☆84Updated 3 years ago
• well-typed / optics
  Optics as an abstract interface
  ☆386Updated last week
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆291Updated 5 months ago
• CatTheoryByExample / book
  The category theory by example book
  ☆59Updated 2 years ago
• statebox / idris-ct
  formally verified category theory library
  ☆264Updated 5 years ago
• lexi-lambda / freer-simple
  A friendly effect system for Haskell
  ☆234Updated last year
• graninas / The-Voids-Of-Haskell
  ☆258Updated 4 months ago
• rpeszek / notes-milewski-ctfp-hs
  Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
  ☆33Updated 6 years ago