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:
- Talks on category-parametric programming.☆23Updated 2 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
- Companion to the Haskell in Production series☆80Updated 6 years ago
- A talk on using recursion schemes in FP.☆219Updated last year
- every day i'm truffling☆70Updated 4 years ago
- Free ideas, worth every penny☆33Updated 5 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 4 years ago
- Portfolio-based approach to learning Haskell☆104Updated 8 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- Yet another … yet another recursion scheme library for Haskell☆89Updated this week
- ☆50Updated 6 years ago
- A higher-order effect system where the sky's the limit☆91Updated 3 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Updated 6 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- Comonads By Example Conference talk☆89Updated 6 years ago
- Haskell implementation of C4 model, for specifying software architecture☆18Updated 3 years ago
- Explore haskell and functional programming concepts☆20Updated 7 years ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated 7 months ago
- Solutions to Advent of Code 2019☆50Updated 6 years ago
- Isomorphic Reasoning: Counting with Types☆38Updated 5 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 4 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆210Updated 3 months ago
- Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.☆188Updated 6 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆97Updated 4 years ago
- Moot is a CFP and event management system!☆66Updated 7 years ago
- Working through the Thinking with Types book in Haskell☆34Updated 5 years ago
- ☆80Updated 6 years ago
- Repository for LambdaConf 2018 and related material.☆23Updated 7 years ago
- A PureScript interpreter in Haskell☆121Updated 3 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago