JonathanLorimer / book-of-monads
Exercises from the 'Book of Monads' by Alejandro Serrano Mena
☆19Updated 4 years ago
Alternatives and similar repositories for book-of-monads:
Users that are interested in book-of-monads 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
- ☆77Updated 6 months ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27Updated 4 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 5 years ago
- Isomorphic Reasoning: Counting with Types☆37Updated 4 years ago
- ☆28Updated 6 years ago
- Moot is a CFP and event management system!☆66Updated 6 years ago
- ☆49Updated 5 years ago
- A minimal example for a REST-API-server written with servant and a test-suite using servant-client☆58Updated 3 years ago
- Example of usage polysemy and servant☆57Updated 5 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated last year
- Port of Scala/Haskell Refined library to Idris☆17Updated 3 years ago
- GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell☆50Updated 5 years ago
- Advent of Code 2017☆41Updated 6 years ago
- Querying a rate-limited currency exchange API using Redis as a cache☆41Updated 5 years ago
- A typed, persistent store for values of arbitrary types☆60Updated this week
- ☆40Updated 5 years ago
- ☆51Updated 2 years ago
- Composition of Functions☆24Updated 4 years ago
- 💝 Haskell profiles to sponsor☆48Updated 3 years ago
- 🎯 IO with Exceptions tracked on the type-level☆58Updated 3 years ago
- Working through the Thinking with Types book in Haskell☆35Updated 4 years ago
- Cofun with Cofree Comonads☆31Updated 8 years ago
- ♾️ Sized list☆46Updated 10 months ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- TDD with Clean Architectecture (aka Hexagonal, Ports & adapter) in Haskell☆47Updated 2 years ago
- Parse and render URI templates.☆16Updated last month
- A data-type like Either but with an accumulating Applicative☆100Updated last year