awalterschulze / category-theory-for-programmers-challenges

Related projects ⓘ

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

• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆155Updated 3 years ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆337Updated 5 months ago
• lettier / parsing-with-haskell-parser-combinators
  🔍 A step-by-step guide to parsing using Haskell parser combinators.
  ☆92Updated 5 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 3 years ago
• sassela / haskell-learning
  Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.
  ☆136Updated 3 years ago
• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆218Updated 7 months ago
• qfpl / applied-fp-course
  Applied Functional Programming Course - Move from exercises to a working app!
  ☆625Updated last year
• system-f / lets-lens
  Course material for lens
  ☆231Updated 5 years ago
• willbasky / Awesome-list-of-Haskell-mentors
  An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
  ☆169Updated 2 years ago
• OPLSS / introduction-to-algebraic-effects-and-handlers
  Introduction to algebraic effects and handlers
  ☆93Updated 6 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…
  ☆263Updated 6 years ago
• jaspervdj / fugacious
  An example Haskell web application
  ☆147Updated 6 years ago
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆211Updated 2 years ago
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆195Updated 3 years ago
• sweirich / dth
  Examples of Dependently-typed programs in Haskell
  ☆302Updated 2 years ago
• graninas / The-Voids-Of-Haskell
  ☆251Updated 2 months ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆362Updated 4 years ago
• aymannadeem / foldilocks
  Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.
  ☆187Updated 5 years ago
• well-typed / optics
  Optics as an abstract interface
  ☆375Updated 3 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…
  ☆191Updated 11 months ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆219Updated 4 months ago
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆571Updated last month
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆287Updated 9 months ago
• Avi-D-coder / implicit-hie
  Auto generate a stack or cabal multi component hie.yaml file
  ☆204Updated 9 months ago
• bravit / hid-examples
  Examples to accompany the book "Haskell in Depth"
  ☆257Updated 2 months ago
• i-am-tom / haskell-exercises
  A little course to learn about some of the more obscure GHC extensions.
  ☆638Updated last year
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 5 years ago
• bitemyapp / fp-course
  Fork of the original Data61 course to be more Stack friendly
  ☆439Updated 3 years ago
• rainbyte / haskell-ide-chart
  Haskell state of editor/IDE support
  ☆249Updated 3 years ago
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆503Updated 4 months ago