onlurking / category-theory-for-programmers
e-book version of Bartosz Milewski's Category Theory for Programmers
☆478Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for category-theory-for-programmers
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆467Updated 11 months ago
- Category theory in the context of (functional) programming☆514Updated 6 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆626Updated last year
- Miscellaneous articles. The readme is the table of contents.☆1,251Updated last year
- Don't Fear the Profunctor Optics!☆424Updated 2 years ago
- A List of Foundational Haskell Papers☆864Updated last week
- Learn Haskell, with tiny lessons.☆562Updated 3 years ago
- 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects☆699Updated last week
- A standard library for Haskell☆843Updated 3 months ago
- A little course to learn about some of the more obscure GHC extensions.☆638Updated last year
- Code and materials for my book "Functional Design and Architecture"☆491Updated last month
- Functional Programming Course☆1,026Updated last year
- Launch your own Haskell study group. Now.☆272Updated 5 years ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆700Updated last month
- - The Haskell code editor focused on interactive development.☆352Updated 6 years ago
- Haskell/GHC symbol search cheatsheet☆323Updated 6 months ago
- 𝛌 Awesome Idris resources☆390Updated 4 years ago
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,083Updated last month
- A gently curated list of companies using Haskell in industry☆943Updated 3 weeks ago
- Web application for exploring and understanding Haskell codebases☆512Updated last year
- I'm trying to update the Real World Haskell book☆792Updated last year
- 📖 source material for Thinking with Types☆477Updated last year
- Release with confidence, state-of-the-art property testing for Haskell.☆677Updated 2 months ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆971Updated 3 weeks ago
- Very low feature GHCi based IDE☆1,134Updated 8 months ago
- Algebraic graphs☆719Updated 6 months ago
- A curated list of amazingly awesome Haskell articles and talks for beginners.☆186Updated 2 years ago
- A formatter for Haskell source code☆964Updated 2 weeks ago
- A Haskell library for typesafe music composition☆354Updated 5 years ago
- An introduction to programming language theory in Agda☆1,372Updated this week