BartoszMilewski / DaoFPLinks
The Dao of Functional Programming
☆486Updated 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☆427Updated 3 years ago
- Resources for learning Category Theory for an enthusiast☆640Updated 2 years ago
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,279Updated 9 months ago
- ☆258Updated 5 months ago
- Learn Haskell by building a blog generator - an introductory book about Haskell.☆306Updated 5 months ago
- I'm trying to update the Real World Haskell book☆793Updated 2 years ago
- An introduction to programming language theory in Agda☆1,458Updated this week
- An introductory course to Homotopy Type Theory☆373Updated 5 years ago
- A little course to learn about some of the more obscure GHC extensions.☆657Updated last year
- A List of Foundational Haskell Papers☆882Updated 11 months ago
- Examples to accompany the book "Haskell in Depth"☆267Updated 6 months ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,091Updated last month
- A book about category theory☆437Updated last week
- Jupyter adaptation of Learn You a Haskell for Great Good!☆303Updated 5 months ago
- An opinionated list of resources for learning Haskell☆923Updated 3 years ago
- ☆234Updated 2 months ago
- A gently curated list of companies using Haskell in industry☆976Updated 5 months ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆177Updated 3 years ago
- A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!☆452Updated 5 months ago
- Applied Functional Programming Course - Move from exercises to a working app!☆630Updated last year
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,098Updated 9 months ago
- An automated tutorial to teach you about Haskell!☆177Updated 2 years ago
- Fork of the original Data61 course to be more Stack friendly☆450Updated 4 years ago
- 🕵️ Haskell STatic ANalyser☆581Updated last week
- 📖 source material for Thinking with Types☆492Updated 2 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆308Updated last year
- Haskell implemented with combinators☆609Updated this week
- Code challenges to solve with Haskell☆174Updated 2 weeks ago
- Source material for Algebra-Driven Design☆152Updated last year
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago