corecursive / resourcesLinks
A list of resources mentioned in corecursive, or in the corecursive slack channel
☆24Updated 4 years ago
Alternatives and similar repositories for resources
Users that are interested in resources are comparing it to the libraries listed below
Sorting:
- Companion to the Haskell in Production series☆80Updated 6 years ago
- Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"☆65Updated 4 years ago
- every day i'm truffling☆70Updated 4 years ago
- Free ideas, worth every penny☆33Updated 5 years ago
- 🏷 Web application to help beginners to start contributing into Haskell projects☆60Updated 5 years ago
- Talks on category-parametric programming.☆22Updated last year
- HoTT Note-taking action☆25Updated 6 years ago
- eta-spark is a library that provides complete bindings for Apache Spark☆21Updated 7 years ago
- Yet another yet another recursion scheme library in Haskell.☆89Updated last week
- Comonads By Example Conference talk☆89Updated 6 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Updated 6 years ago
- A higher-order effect system where the sky's the limit☆91Updated 3 years ago
- Isomorphic Reasoning: Counting with Types☆38Updated 5 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 3 years ago
- ☆80Updated 6 years ago
- A List of Foundational Haskell Papers☆43Updated 7 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆209Updated last month
- Repository for LambdaConf 2018 and related material.☆23Updated 6 years ago
- Portfolio-based approach to learning Haskell☆104Updated 7 years ago
- RSS feed reader written for the second part of my bachelor thesis: A Real-World Application with a Comonadic User Interface.☆52Updated 7 years ago
- TDD with Clean Architectecture (aka Hexagonal, Ports & adapter) in Haskell☆47Updated 3 years ago
- Exercises from the readers of the Haskell Book☆55Updated 6 years ago
- A talk on using recursion schemes in FP.☆218Updated last year
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆97Updated 3 years ago
- Haskell embedding of PlusCal☆62Updated 3 years ago
- Define communication protocols between applications using algebraic data types.☆47Updated 2 years ago
- ☆13Updated 6 years ago
- An interactive workshop on implementing AlgorithmW in Kotlin☆21Updated 5 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- Idris version of Domain Modeling Made Functional Book.☆142Updated 4 years ago