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

• willbasky / Awesome-list-of-Haskell-mentors
  An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
  ☆171Updated 2 years ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆346Updated 5 months ago
• system-f / lets-lens
  Course material for lens
  ☆235Updated 5 months ago
• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆217Updated last year
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆159Updated 4 years ago
• edwinb / TypeDD-Samples
  Sample code from "Type Driven Development with Idris"
  ☆163Updated 7 years ago
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆196Updated 3 years ago
• ChrisPenner / comonads-by-example
  Comonads By Example Conference talk
  ☆89Updated 5 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
• BartoszMilewski / AoC2019
  Solutions to Advent of Code 2019
  ☆50Updated 5 years ago
• lettier / parsing-with-haskell-parser-combinators
  🔍 A step-by-step guide to parsing using Haskell parser combinators.
  ☆94Updated 5 years ago
• sassela / haskell-learning
  Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.
  ☆135Updated 4 years ago
• Avi-D-coder / implicit-hie
  Auto generate a stack or cabal multi component hie.yaml file
  ☆208Updated last year
• 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
  ☆157Updated 3 years ago
• sweirich / dth
  Examples of Dependently-typed programs in Haskell
  ☆304Updated 2 years ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆224Updated last month
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆206Updated last year
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆144Updated last year
• dramforever / vscode-ghc-simple
  Simple GHC (Haskell) integration for VSCode
  ☆224Updated 10 months ago
• lexi-lambda / freer-simple
  A friendly effect system for Haskell
  ☆231Updated last year
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆299Updated last year
• jaspervdj / fugacious
  An example Haskell web application
  ☆147Updated 7 years ago
• fpco / applied-haskell
  ☆80Updated 6 years ago
• well-typed / optics
  Optics as an abstract interface
  ☆384Updated 3 weeks ago
• freeman42x / haskell-editor-setup
  Easy instructions for setting up Haskell editors / IDEs on any major operating system.
  ☆101Updated last year
• haskell / vector
  An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
  ☆378Updated 3 months ago
• saurabhkukade / Haskell_Study
  Collections of papers and books about Haskell, Type Theory and Category Theory
  ☆166Updated 3 years ago
• etorreborre / registry
  Components as records of functions for Haskell
  ☆170Updated 2 months ago
• rainbyte / haskell-ide-chart
  Haskell state of editor/IDE support
  ☆247Updated 4 years ago
• i-am-tom / haskell-exercises
  A little course to learn about some of the more obscure GHC extensions.
  ☆649Updated last year