winitzki / sofp
A free book: "The Science of Functional Programming"
☆1,406Updated last month
Related projects ⓘ
Alternatives and complementary repositories for sofp
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,248Updated last month
- The Dao of Functional Programming☆300Updated last month
- A List of Foundational Haskell Papers☆864Updated 2 weeks ago
- ACT community resources☆465Updated 4 years ago
- Generic programming for Scala☆3,394Updated this week
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,083Updated last month
- Fork of the original Data61 course to be more Stack friendly☆439Updated 3 years ago
- Source code for Scala with Cats☆397Updated 3 months ago
- Functional Programming Course☆1,027Updated last year
- Applied Functional Programming Course - Move from exercises to a working app!☆626Updated last year
- Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns☆994Updated 10 months ago
- Resources for learning Category Theory for an enthusiast☆605Updated last year
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,607Updated 2 years ago
- Functional programming great resources☆488Updated 4 years ago
- Generalized recursion schemes and traversals for Scala.☆811Updated 4 years ago
- learn-by-doing course/tutorial for functional programming on scala☆613Updated 4 years ago
- Category theory in the context of (functional) programming☆514Updated 6 years ago
- A collection of resources for learning type theory and type theory adjacent fields.☆2,167Updated 2 months ago
- Haskell 101 and 102: slides and codelabs☆1,387Updated last year
- An opinionated list of resources for learning Haskell☆877Updated 2 years ago
- Discussion and and code examples for the book Hands-on Scala Programming☆675Updated 11 months ago
- An introduction to programming language theory in Agda☆1,372Updated this week
- A book about category theory☆343Updated last week
- An implementation of the java pet store using FP techniques in scala☆1,067Updated 3 months ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆971Updated 3 weeks ago
- Learn Haskell, with tiny lessons.☆562Updated 3 years ago
- Functional Programming Course☆4,115Updated this week
- Property-based testing for Scala☆1,941Updated last week
- Scala language server with rich IDE features 🚀☆2,099Updated this week
- Mirror of Software Foundations in PDF☆296Updated 4 years ago