chiroptical / book-of-monadsLinks
Finished Book of Monads by Alejandro Serrano-Mena
☆27Updated 5 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
Sorting:
- Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"☆65Updated 4 years ago
- Comonads By Example Conference talk☆89Updated 6 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Updated 6 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- Working through the Thinking with Types book in Haskell☆34Updated 5 years ago
- Isomorphic Reasoning: Counting with Types☆38Updated 5 years ago
- Advent of Code 2017☆40Updated 6 years ago
- An Intellij Plugin for the Eta programming language☆51Updated 7 years ago
- Talks on category-parametric programming.☆22Updated last year
- ☆79Updated last year
- Repository for LambdaConf 2018 and related material.☆23Updated 7 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 6 years ago
- Querying a rate-limited currency exchange API using Redis as a cache☆43Updated 5 years ago
- ☆80Updated 6 years ago
- Haskell domain modeling playground☆32Updated 3 years ago
- every day i'm truffling☆70Updated 4 years ago
- Portfolio-based approach to learning Haskell☆104Updated 7 years ago
- ☆37Updated 7 years ago
- TDD with Clean Architectecture (aka Hexagonal, Ports & adapter) in Haskell☆47Updated 3 years ago
- Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.☆138Updated 4 years ago
- A simple to-do web application in Eta using Spock web framework and Lucid DSL☆17Updated 7 years ago
- Android 2048 game using Yampa FRP library in Eta☆57Updated 7 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆97Updated 3 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 6 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆25Updated 7 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated last month
- A purity and nullability analysis tool for Java.☆26Updated 7 years ago
- The MonadUnliftIO typeclass for unlifting monads to IO☆148Updated 3 months ago
- Moot is a CFP and event management system!☆66Updated 7 years ago
- ☆50Updated 6 years ago