corecursive / resources
A list of resources mentioned in corecursive, or in the corecursive slack channel
☆25Updated 3 years ago
Alternatives and similar repositories for resources:
Users that are interested in resources are comparing it to the libraries listed below
- Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"☆64Updated 3 years ago
- A talk on using recursion schemes in FP.☆217Updated last year
- Components as records of functions for Haskell☆170Updated 3 weeks ago
- Talks on category-parametric programming.☆22Updated last year
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆205Updated 11 months ago
- ☆78Updated 6 months ago
- Extensible algebraic effects with handlers☆145Updated 2 weeks ago
- GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell☆51Updated 5 years ago
- Development work related to the PureScript Registry☆97Updated 5 months ago
- Yet another yet another recursion scheme library in Haskell.☆87Updated this week
- Idris version of Domain Modeling Made Functional Book.☆134Updated 3 years ago
- A List of Foundational Haskell Papers☆39Updated 6 years ago
- A friendly guide for leveraging the power of recursion schemes in real-world applications☆107Updated 4 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 5 years ago
- every day i'm truffling☆69Updated 4 years ago
- Comonads By Example Conference talk☆89Updated 5 years ago
- Idris for Visual Studio Code☆106Updated 2 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- Companion to the Haskell in Production series☆80Updated 5 years ago
- A test framework for Idris☆54Updated 6 years ago
- ☆49Updated 5 years ago
- Working through the Thinking with Types book in Haskell☆35Updated 4 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆99Updated 3 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- A parser combinator library based on Parsec☆153Updated 3 weeks ago
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Querying a rate-limited currency exchange API using Redis as a cache☆41Updated 5 years ago
- A higher-order effect system where the sky's the limit☆91Updated 2 years ago
- Advent of Code 2017☆41Updated 6 years ago
- HoTT Note-taking action☆25Updated 6 years ago