jwbuurlage / category-theory-programmersLinks
Category theory in the context of (functional) programming
☆522Updated 7 years ago
Alternatives and similar repositories for category-theory-programmers
Users that are interested in category-theory-programmers are comparing it to the libraries listed below
Sorting:
- A List of Foundational Haskell Papers☆874Updated 7 months ago
- Miscellaneous articles. The readme is the table of contents.☆1,267Updated last year
- Applied Functional Programming Course - Move from exercises to a working app!☆633Updated last year
- An axiom-free formalization of category theory in Coq for personal study and practical work☆779Updated 3 weeks ago
- Algebraic graphs☆739Updated last month
- Software Foundations in Idris☆454Updated 6 years ago
- A little course to learn about some of the more obscure GHC extensions.☆650Updated last year
- Release with confidence, state-of-the-art property testing for Haskell.☆687Updated 2 months ago
- higher-order, no-boilerplate monads☆1,055Updated 3 months ago
- 📖 source material for Thinking with Types☆493Updated 2 years ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆698Updated last month
- A fast, flexible, fused effect system for Haskell☆657Updated last month
- Liquid Types For Haskell☆1,247Updated 2 weeks ago
- Web application for exploring and understanding Haskell codebases☆514Updated 2 years ago
- The Haskell performance checklist☆391Updated 5 years ago
- 𝛌 Awesome Idris resources☆402Updated 5 years ago
- Empire strikes back☆462Updated 2 years ago
- Introductory Haskell course materials (originally CIS 194 @ UPenn)☆280Updated 2 years ago
- Shell programming, Haskell style☆957Updated 2 weeks ago
- Launch your own Haskell study group. Now.☆271Updated 5 years ago
- Functional Programming Course☆1,032Updated 2 years ago
- e-book version of Bartosz Milewski's Category Theory for Programmers☆482Updated 6 years ago
- Very low feature GHCi based IDE☆1,159Updated last year
- 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects☆710Updated 7 months ago
- A course-worth of notes☆202Updated 11 months ago
- Slides from talks that I give☆295Updated 2 years ago
- Type safe interface for working in subcategories of Hask☆419Updated 6 years ago
- Don't Fear the Profunctor Optics!☆426Updated 2 months ago
- Generalized bananas, lenses and barbed wire☆346Updated 6 months ago
- With way too messy gist.github pages this is an attempt to organise my snippets☆403Updated 7 years ago