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
  ☆349Updated 2 months ago
• sassela / haskell-learning
  Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.
  ☆137Updated 4 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
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆152Updated last year
• willbasky / Awesome-list-of-Haskell-mentors
  An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
  ☆177Updated 3 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆161Updated 4 years ago
• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆218Updated last year
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆227Updated 7 months 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…
  ☆263Updated 7 years ago
• sweirich / dth
  Examples of Dependently-typed programs in Haskell
  ☆307Updated 3 years ago
• saurabhkukade / Haskell_Study
  Collections of papers and books about Haskell, Type Theory and Category Theory
  ☆166Updated 4 years ago
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆219Updated 3 years ago
• system-f / lets-lens
  Course material for lens
  ☆239Updated 10 months ago
• lettier / parsing-with-haskell-parser-combinators
  🔍 A step-by-step guide to parsing using Haskell parser combinators.
  ☆95Updated 5 years ago
• edwinb / TypeDD-Samples
  Sample code from "Type Driven Development with Idris"
  ☆164Updated 8 years ago
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆209Updated last week
• 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
• aymannadeem / foldilocks
  Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.
  ☆188Updated 6 years ago
• ChrisPenner / comonads-by-example
  Comonads By Example Conference talk
  ☆89Updated 6 years ago
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆200Updated 4 years ago
• OPLSS / introduction-to-algebraic-effects-and-handlers
  Introduction to algebraic effects and handlers
  ☆98Updated 7 years ago
• hmemcpy / haskell-hie-devcontainer
  A DevContainer for VSCode, for installing GHC 8.6.5, HIE (Haskell IDE Engine) and the required plugins
  ☆162Updated 4 years ago
• graninas / The-Voids-Of-Haskell
  ☆258Updated 5 months ago
• albohlabs / awesome-haskell
  A curated list of amazingly awesome Haskell articles and talks for beginners.
  ☆191Updated 3 years ago
• emilypi / haskell-resources
  A List of Foundational Haskell Papers
  ☆42Updated 7 years ago
• soupi / rfc
  My slides and compilation of resources.
  ☆155Updated last year
• CatTheoryByExample / book
  The category theory by example book
  ☆59Updated 2 years ago
• jaspervdj / fugacious
  An example Haskell web application
  ☆148Updated 7 years ago
• graninas / automatic-whitebox-testing-showcase
  Automatic white-box testing with Free monads: approach description and showcase
  ☆83Updated 3 years ago
• well-typed / optics
  Optics as an abstract interface
  ☆386Updated 2 weeks ago