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
- Category theory in the context of (functional) programming☆522Updated 6 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆628Updated last year
- Miscellaneous articles. The readme is the table of contents.☆1,257Updated last year
- Learn Haskell, with tiny lessons.☆564Updated 3 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
- Release with confidence, state-of-the-art property testing for Haskell.☆681Updated last month
- A List of Foundational Haskell Papers☆864Updated 3 months ago
- Launch your own Haskell study group. Now.☆272Updated 5 years ago
- Don't Fear the Profunctor Optics!☆426Updated 2 years ago
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,092Updated 2 months ago
- Software Foundations in Idris☆454Updated 5 years ago
- A little course to learn about some of the more obscure GHC extensions.☆645Updated last year
- Haskell state of editor/IDE support☆248Updated 3 years ago
- higher-order, no-boilerplate monads☆1,041Updated this week
- 𝛌 Awesome Idris resources☆398Updated 5 years ago
- Functional Programming Course☆1,031Updated last year
- 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects☆706Updated 3 months ago
- A standard library for Haskell☆848Updated 6 months ago
- Algebraic graphs☆734Updated 9 months ago
- Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns☆997Updated last year
- Code and materials for my book "Functional Design and Architecture"☆503Updated 2 months ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆997Updated 3 weeks ago
- ACT community resources☆467Updated 5 years ago
- Very low feature GHCi based IDE☆1,150Updated 11 months ago
- Slides from talks that I give☆294Updated last year
- Web application for exploring and understanding Haskell codebases☆516Updated 2 years ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆710Updated last month
- Fork of the original Data61 course to be more Stack friendly☆445Updated 3 years ago
- High-powered REPL for Haskell, inspired by IPython☆338Updated last year
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆635Updated 3 years ago