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
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 5 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
- ☆28Updated 6 years ago
- Isomorphic Reasoning: Counting with Types☆37Updated 4 years ago
- Advent of Code 2017☆41Updated 6 years ago
- Moot is a CFP and event management system!☆66Updated 6 years ago
- Example of usage polysemy and servant☆57Updated 5 years ago
- Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.☆135Updated 3 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- A short scripts and programs☆12Updated 2 years ago
- Port of Scala/Haskell Refined library to Idris☆17Updated 3 years ago
- Querying a rate-limited currency exchange API using Redis as a cache☆41Updated 5 years ago
- Talks on category-parametric programming.☆22Updated last year
- HoTT Note-taking action☆25Updated 5 years ago
- TDD with Clean Architectecture (aka Hexagonal, Ports & adapter) in Haskell☆47Updated 2 years ago
- Generate realistic looking fake data☆47Updated 3 years ago
- Cofun with Cofree Comonads☆31Updated 8 years ago
- Frost☆19Updated 4 years ago
- A Haskell implementation of JSON Web Token (JWT)☆36Updated last year
- Finished Book of Monads by Alejandro Serrano-Mena☆27Updated 4 years ago
- ☆49Updated 5 years ago
- ☆77Updated 6 months ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 3 years ago
- ☆38Updated 7 years ago
- ☆16Updated 4 years ago
- GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell☆50Updated 5 years ago
- ☆40Updated 5 years ago
- Simple Dependent Type Checker☆10Updated 5 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago
- A multiplayer web real-time implementation of the famous Tic Tac Toe game in Haskell.☆61Updated 2 years ago