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
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"☆64Updated 3 years ago
- A higher-order effect system where the sky's the limit☆91Updated 2 years ago
- Companion to the Haskell in Production series☆80Updated 5 years ago
- Sources for a workshop given at Monadic Party 2019 on PureScript and how to use types and FFI to solve real world problems.☆23Updated 5 years ago
- ☆49Updated 5 years ago
- ☆28Updated 6 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆205Updated last year
- Trying to get back all the stuff I had in JavaScript.☆69Updated 6 years ago
- Solutions to Advent of Code 2019☆50Updated 5 years ago
- A List of Foundational Haskell Papers☆39Updated 6 years ago
- Talks on category-parametric programming.☆22Updated last year
- Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces☆53Updated 4 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- Components as records of functions for Haskell☆170Updated last month
- ☆78Updated 7 months ago
- A type-safe, high-level SQL library for PureScript☆89Updated 2 years ago
- 🏷 Web application to help beginners to start contributing into Haskell projects☆58Updated 4 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- Yet another yet another recursion scheme library in Haskell.☆88Updated last week
- RSS feed reader written for the second part of my bachelor thesis: A Real-World Application with a Comonadic User Interface.☆52Updated 6 years ago
- A PureScript interpreter in Haskell☆120Updated 2 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Focused domain model declaration toolkit for Haskell☆47Updated last year
- A small example of using mtl style to unit test effectful code☆106Updated 7 years ago
- YesQL-style SQL database abstraction.☆27Updated 4 years ago
- Querying a rate-limited currency exchange API using Redis as a cache☆41Updated 5 years ago
- Refined types☆57Updated 6 years ago
- Free ideas, worth every penny☆33Updated 4 years ago
- GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell☆52Updated 5 years ago