JonathanLorimer / book-of-monads
Exercises from the 'Book of Monads' by Alejandro Serrano Mena
☆19Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for book-of-monads
- Finished Book of Monads by Alejandro Serrano-Mena☆26Updated 4 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
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆32Updated 5 years ago
- Talks on category-parametric programming.☆22Updated 11 months ago
- Home page for the Simple Haskell Initiative☆15Updated 2 years ago
- TDD with Clean Architectecture (aka Hexagonal, Ports & adapter) in Haskell☆47Updated 2 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago
- Moot is a CFP and event management system!☆66Updated 6 years ago
- ☆75Updated 2 months ago
- HoTT Note-taking action☆25Updated 5 years ago
- Querying a rate-limited currency exchange API using Redis as a cache☆41Updated 4 years ago
- A work stealing scheduler☆77Updated last year
- 💝 Haskell profiles to sponsor☆47Updated 3 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 2 years ago
- Isomorphic Reasoning: Counting with Types☆37Updated 4 years ago
- GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell☆50Updated 5 years ago
- Generate realistic looking fake data☆47Updated 3 years ago
- Example of usage polysemy and servant☆56Updated 5 years ago
- Frost☆19Updated 4 years ago
- Working through the Thinking with Types book in Haskell☆35Updated 4 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- A Haskell implementation of JSON Web Token (JWT)☆36Updated 9 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- An example of an "isomorphic" Miso server set up with stack☆44Updated 4 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- ☆47Updated 5 years ago
- Lensy interface for parsing CSV's☆42Updated 4 years ago
- Battleship... Pure.. Functional... Haskell + MongoDB + TypeScript + React... https://battleship-fp.com/☆16Updated last year