BartoszMilewski / DaoFP
The Dao of Functional Programming
☆443Updated last week
Alternatives and similar repositories for DaoFP:
Users that are interested in DaoFP are comparing it to the libraries listed below
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspects☆419Updated 2 years ago
- A little course to learn about some of the more obscure GHC extensions.☆647Updated last year
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,274Updated 2 months ago
- A List of Foundational Haskell Papers☆865Updated 4 months ago
- Resources for learning Category Theory for an enthusiast☆621Updated last year
- A book about category theory☆410Updated last week
- ☆250Updated 6 months ago
- An introductory course to Homotopy Type Theory☆364Updated 4 years ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,018Updated last week
- Proposed compiler and language changes for GHC and GHC/Haskell☆694Updated last week
- An introduction to programming language theory in Agda☆1,416Updated last week
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆711Updated 3 weeks ago
- papers of Per Martin Löf☆774Updated last year
- Learn Haskell by building a blog generator - an introductory book about Haskell.☆294Updated 2 months ago
- ☆215Updated last month
- Software Foundations in Idris☆454Updated 5 years ago
- Resources for type theory, functional programming, etc.☆318Updated 4 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆629Updated last year
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,095Updated 3 months ago
- higher-order, no-boilerplate monads☆1,042Updated 2 weeks ago
- An opinionated list of resources for learning Haskell☆898Updated 3 years ago
- A new Categories library for Agda☆374Updated this week
- 🕵️ Haskell STatic ANalyser☆579Updated 2 months ago
- Minimal implementations for dependent type checking and elaboration☆651Updated 2 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆608Updated last month
- A fast, flexible, fused effect system for Haskell☆653Updated 2 months ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆171Updated 2 years ago
- Web application for exploring and understanding Haskell codebases☆515Updated 2 years ago
- Algebraic graphs☆737Updated 10 months ago
- Code and materials for my book "Functional Design and Architecture"☆510Updated 4 months ago