BartoszMilewski / DaoFPLinks
The Dao of Functional Programming
☆463Updated last month
Alternatives and similar repositories for DaoFP
Users that are interested in DaoFP are comparing it to the libraries listed below
Sorting:
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspects☆424Updated 3 years ago
- Resources for learning Category Theory for an enthusiast☆629Updated 2 years ago
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,278Updated 6 months ago
- A book about category theory☆418Updated this week
- ☆254Updated 2 months ago
- A little course to learn about some of the more obscure GHC extensions.☆651Updated last year
- An introductory course to Homotopy Type Theory☆373Updated 4 years ago
- Learn Haskell by building a blog generator - an introductory book about Haskell.☆301Updated 3 months ago
- A List of Foundational Haskell Papers☆875Updated 8 months ago
- Examples to accompany the book "Haskell in Depth"☆262Updated 3 months ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,063Updated 2 months ago
- Code and materials for my book "Functional Design and Architecture"☆518Updated 7 months ago
- Fork of the original Data61 course to be more Stack friendly☆451Updated 4 years ago
- Source material for Algebra-Driven Design☆151Updated last year
- Resources for type theory, functional programming, etc.☆320Updated 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…☆471Updated last year
- I'm trying to update the Real World Haskell book☆790Updated 2 years ago
- ☆227Updated last week
- An opinionated list of resources for learning Haskell☆911Updated 3 years ago
- Haskell MOOC University of Helsinki☆380Updated 2 months ago
- Jupyter adaptation of Learn You a Haskell for Great Good!☆303Updated 2 months ago
- An automated tutorial to teach you about Haskell!☆175Updated 2 years ago
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,096Updated 7 months ago
- An introduction to programming language theory in Agda☆1,440Updated this week
- Haskell implemented with combinators☆549Updated this week
- Domain-Specific Languages of Mathematics☆440Updated 3 months ago
- Applied Functional Programming Course - Move from exercises to a working app!☆633Updated last year
- Challenges from Category Theory for Programmers☆124Updated 8 months ago
- 💻 Exercises for the Haskell Beginners 2022 course☆272Updated last year
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆177Updated 2 years ago