onlurking / category-theory-for-programmersLinks
e-book version of Bartosz Milewski's Category Theory for Programmers
☆481Updated 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
Sorting:
- Category theory in the context of (functional) programming☆522Updated 7 years ago
- Launch your own Haskell study group. Now.☆271Updated 5 years ago
- Miscellaneous articles. The readme is the table of contents.☆1,266Updated last year
- Applied Functional Programming Course - Move from exercises to a working app!☆633Updated last year
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆471Updated last year
- I'm trying to update the Real World Haskell book☆787Updated last year
- Functional Programming Course☆1,032Updated 2 years ago
- A List of Foundational Haskell Papers☆871Updated 6 months ago
- Learn Haskell, with tiny lessons.☆566Updated 3 years ago
- A little course to learn about some of the more obscure GHC extensions.☆650Updated last year
- 𝛌 Awesome Idris resources☆403Updated 5 years ago
- Code and materials for my book "Functional Design and Architecture"☆518Updated 6 months ago
- 📖 source material for Thinking with Types☆492Updated 2 years ago
- Don't Fear the Profunctor Optics!☆428Updated last month
- Software Foundations in Idris☆454Updated 6 years ago
- An introduction to programming language theory in Agda☆1,429Updated last week
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,046Updated last month
- Haskell 101 and 102: slides and codelabs☆1,405Updated 2 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆774Updated last week
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,057Updated 3 months ago
- A curated list of amazingly awesome Haskell articles and talks for beginners.☆192Updated 2 years ago
- A talk on using recursion schemes in FP.☆217Updated last year
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,097Updated 5 months ago
- Challenges from Category Theory for Programmers☆122Updated 7 months ago
- Write You a Scheme☆566Updated 2 years ago
- A standard library for Haskell☆852Updated 9 months ago
- Comparing many FRP implementations by reimplementing the same toy app in each.☆492Updated 3 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- Tutorial Series - Make the Leap from Javascript to PureScript☆304Updated 2 years ago
- 24 Days of PureScript, 2016☆290Updated 2 years ago