passy / awesome-recursion-schemesLinks
Resources for learning and using recursion schemes.
☆1,250Updated last year
Alternatives and similar repositories for awesome-recursion-schemes
Users that are interested in awesome-recursion-schemes are comparing it to the libraries listed below
Sorting:
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,060Updated 2 months ago
- Category theory in the context of (functional) programming☆522Updated 7 years ago
- A curated list of functional programming resources such as blog posts, communities, discussion topics, wikis and more.☆981Updated last year
- Miscellaneous articles. The readme is the table of contents.☆1,267Updated last year
- 10 papers that all PhD students in programming languages ought to know, for some value of 10☆905Updated 5 years ago
- A visual Haskell☆728Updated 3 years ago
- Functional Programming Course☆1,032Updated 2 years ago
- 𝛌 Awesome Idris resources☆402Updated 5 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆779Updated 3 weeks ago
- Huge list of videos, talks, courses for Haskell programming language.☆1,139Updated 7 years ago
- A collection of resources for learning type theory and type theory adjacent fields.☆2,315Updated 2 months ago
- A List of Foundational Haskell Papers☆874Updated 7 months ago
- A curation of awesome PureScript libraries, resources and shiny things.☆473Updated 2 years ago
- ACT community resources☆467Updated 5 years ago
- What I Wish I Knew When Learning Haskell☆2,587Updated 3 years ago
- Learn Haskell, with tiny lessons.☆565Updated 3 years ago
- A gently curated list of companies using Haskell in industry☆970Updated 2 months ago
- Liquid Types For Haskell☆1,247Updated 2 weeks ago
- lamdu - towards the next generation IDE☆1,872Updated last month
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,093Updated 6 months ago
- Fork of the original Data61 course to be more Stack friendly☆450Updated 4 years ago
- e-book version of Bartosz Milewski's Category Theory for Programmers☆482Updated 6 years ago
- Software Foundations in Idris☆454Updated 6 years ago
- A curated list of awesome Haskell frameworks, libraries and software.☆445Updated this week
- Code and materials for my book "Functional Design and Architecture"☆517Updated 6 months ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- A little course to learn about some of the more obscure GHC extensions.☆650Updated last year
- Algebraic graphs☆739Updated last month
- A course-worth of notes☆202Updated 11 months ago
- higher-order, no-boilerplate monads☆1,055Updated 3 months ago