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
- Miscellaneous articles. The readme is the table of contents.☆1,257Updated last year
- A List of Foundational Haskell Papers☆864Updated 3 months ago
- 𝛌 Awesome Idris resources☆398Updated 4 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
- A little course to learn about some of the more obscure GHC extensions.☆645Updated last year
- Learn Haskell, with tiny lessons.☆564Updated 3 years ago
- 📖 source material for Thinking with Types☆481Updated last year
- Applied Functional Programming Course - Move from exercises to a working app!☆628Updated last year
- Haskell state of editor/IDE support☆248Updated 3 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆764Updated 3 weeks ago
- Very low feature GHCi based IDE☆1,150Updated 11 months ago
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,268Updated last month
- Software Foundations in Idris☆454Updated 5 years ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆997Updated 3 weeks ago
- Launch your own Haskell study group. Now.☆272Updated 5 years ago
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆635Updated 3 years ago
- Code and materials for my book "Functional Design and Architecture"☆503Updated 2 months ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆166Updated 3 years ago
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,092Updated 2 months ago
- A fast, flexible, fused effect system for Haskell☆648Updated last month
- Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns☆997Updated last year
- A curated list of amazingly awesome Haskell articles and talks for beginners.☆190Updated 2 years ago
- Haskell/GHC symbol search cheatsheet☆323Updated 9 months ago
- - The Haskell code editor focused on interactive development.☆352Updated 7 years ago
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆507Updated 7 months ago
- Challenges from Category Theory for Programmers☆122Updated 3 months ago
- The Haskell performance checklist☆384Updated 4 years ago
- Web application for exploring and understanding Haskell codebases☆516Updated 2 years ago
- Algebraic graphs☆734Updated 9 months ago