BartoszMilewski / DaoFP
The Dao of Functional Programming
☆300Updated last month
Related projects ⓘ
Alternatives and complementary repositories for DaoFP
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspects☆412Updated 2 years ago
- 🕵️ Haskell STatic ANalyser☆571Updated last month
- A little course to learn about some of the more obscure GHC extensions.☆638Updated last year
- Examples to accompany the book "Haskell in Depth"☆257Updated 2 months ago
- A List of Foundational Haskell Papers☆864Updated last week
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆169Updated 2 years ago
- A formatter for Haskell source code☆964Updated 2 weeks ago
- Applied Functional Programming Course - Move from exercises to a working app!☆626Updated last year
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆700Updated last month
- An automated tutorial to teach you about Haskell!☆167Updated last year
- A standard library for Haskell☆843Updated 3 months ago
- ☆251Updated last month
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,247Updated last month
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆467Updated 11 months ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆685Updated 2 months ago
- higher-order, no-boilerplate monads☆1,037Updated 3 weeks ago
- Fork of the original Data61 course to be more Stack friendly☆439Updated 3 years ago
- Optics as an abstract interface☆375Updated 3 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆287Updated 9 months ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆164Updated 3 years ago
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,083Updated last month
- A collaborative bibliography of work related to the theory and practice of computational effects☆971Updated 3 weeks ago
- Learn Haskell by building a blog generator - an introductory book about Haskell.☆279Updated last week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆592Updated last month
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆381Updated this week
- Resources for type theory, functional programming, etc.☆309Updated 3 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆553Updated last year
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆155Updated 3 years ago
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆503Updated 4 months ago
- Software Foundations in Idris☆452Updated 5 years ago