BartoszMilewski / DaoFP
The Dao of Functional Programming
☆298Updated 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
- A little course to learn about some of the more obscure GHC extensions.☆637Updated last year
- 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 10 months ago
- 🕵️ Haskell STatic ANalyser☆570Updated last month
- ☆250Updated last month
- A List of Foundational Haskell Papers☆863Updated 2 years ago
- An introductory course to Homotopy Type Theory☆359Updated 4 years ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆701Updated 3 weeks ago
- Examples to accompany the book "Haskell in Depth"☆256Updated last month
- ☆196Updated 3 months ago
- A new Categories library for Agda☆368Updated this week
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆169Updated 2 years ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆164Updated 3 years ago
- higher-order, no-boilerplate monads☆1,034Updated last week
- Applied Functional Programming Course - Move from exercises to a working app!☆624Updated 11 months ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆155Updated 3 years ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆685Updated last month
- Algebraic graphs☆719Updated 5 months ago
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,246Updated last month
- A formatter for Haskell source code☆962Updated this week
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆286Updated 9 months ago
- Minimal implementations for dependent type checking and elaboration☆615Updated last month
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,080Updated last month
- My slides and compilation of resources.☆148Updated 2 months ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆966Updated last week
- formally verified category theory library☆256Updated 4 years ago
- Resources for learning Category Theory for an enthusiast☆602Updated last year
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…☆263Updated 6 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆590Updated 3 weeks ago
- An automated tutorial to teach you about Haskell!☆167Updated last year