onlurking / category-theory-for-programmers
e-book version of Bartosz Milewski's Category Theory for Programmers
☆480Updated 6 years ago
Alternatives and similar repositories for category-theory-for-programmers:
Users that are interested in category-theory-for-programmers are comparing it to the libraries listed below
- Applied Functional Programming Course - Move from exercises to a working app!☆629Updated last year
- Category theory in the context of (functional) programming☆522Updated 7 years ago
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆469Updated last year
- Launch your own Haskell study group. Now.☆272Updated 5 years ago
- Code and materials for my book "Functional Design and Architecture"☆509Updated 3 months ago
- A little course to learn about some of the more obscure GHC extensions.☆647Updated last year
- Miscellaneous articles. The readme is the table of contents.☆1,259Updated last year
- A List of Foundational Haskell Papers☆865Updated 4 months ago
- Don't Fear the Profunctor Optics!☆427Updated 2 years ago
- Learn Haskell, with tiny lessons.☆564Updated 3 years ago
- I'm trying to update the Real World Haskell book☆788Updated last year
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,096Updated 3 months ago
- Software Foundations in Idris☆455Updated 5 years ago
- 𝛌 Awesome Idris resources☆399Updated 5 years ago
- What I Wish I Knew When Learning Haskell☆2,582Updated 3 years ago
- Release with confidence, state-of-the-art property testing for Haskell.☆682Updated last week
- ☆250Updated 6 months ago
- Haskell/GHC symbol search cheatsheet☆320Updated 11 months ago
- 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects☆709Updated 4 months ago
- 📖 source material for Thinking with Types☆484Updated 2 years ago
- Slides from talks that I give☆294Updated last year
- Functional Programming Course☆1,031Updated 2 years ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,008Updated last week
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,050Updated 3 weeks ago
- A Haskell library for typesafe music composition☆364Updated 6 years ago
- A standard library for Haskell☆848Updated 7 months ago
- ACT community resources☆468Updated 5 years ago
- Haskell Programming From First Principles - Follow-up Resources☆491Updated 7 years ago
- Fork of the original Data61 course to be more Stack friendly☆446Updated 3 years ago
- Algebraic graphs☆737Updated 10 months ago