neko-kai / fp-dictionaryLinks
FP category theory jargon explained on a single A4 page
☆63Updated 7 years ago
Alternatives and similar repositories for fp-dictionary
Users that are interested in fp-dictionary are comparing it to the libraries listed below
Sorting:
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 5 years ago
- Comprehensions for Arrows and Monoidal categories☆61Updated 5 months ago
- Event sourcing utilities for FS2☆80Updated last year
- Recursion schemes training examples and exercises☆60Updated 5 years ago
- ☆34Updated 5 years ago
- Multisets for Scala☆86Updated 4 years ago
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 4 years ago
- enforce the Scalazzi subset of Scala with scalafix☆83Updated 6 years ago
- Sample application for "Aecor — Purely functional event sourcing in Scala" series.☆44Updated 5 years ago
- Cooperative multithreading as a pure monad transformer☆73Updated 2 weeks ago
- ☆42Updated 6 years ago
- ☆188Updated last year
- ☆65Updated 4 years ago
- Github bot for keeping your Bazel dependencies up-to-date and clean☆27Updated 5 years ago
- The Evolution of a Scala Programmer☆33Updated 6 years ago
- Fast Scala eDSL for HTML☆56Updated 3 years ago
- Minimal HTTP server for Scala+ZIO☆98Updated 3 years ago
- Code for FP to the Min talk at Scala in the City Conference.☆53Updated 5 years ago
- ☆45Updated 4 years ago
- Build your web API on the type level.☆159Updated 6 years ago
- End-to-end tracing system for Http4s☆109Updated 3 years ago
- The pure testing library by scalaz.☆89Updated 6 years ago
- Slides for my talk on Fibers☆18Updated last year
- Next Level MTL for Scala☆167Updated 2 years ago
- Performant, purely-functional, low-level, and unopinionated wrapper around Java NIO functionality☆85Updated 6 years ago
- ☆77Updated 5 years ago
- Deal with failures☆38Updated 6 years ago
- Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)☆35Updated 10 months ago
- Caches are tricky - Let Mules Haul its Weight.☆72Updated 8 months ago
- Asynchronous data type with typed errors.☆82Updated last year