elbaulp / Scala-Category-Theory
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
☆32Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for Scala-Category-Theory
- A high-performance, purely-functional library for reactive programming based on efficient incremental computation☆24Updated 5 years ago
- The material for the Advanced Functional Design workshop☆18Updated 2 years ago
- A Scala library for rolling dice and analyzing probability distributions☆36Updated 4 years ago
- Stack-safe asynchronous programming☆37Updated 3 months ago
- Principled, fast, typeclass derivation.☆52Updated last week
- Quark: An Embedded DSL for Quasar Analytics☆45Updated 7 years ago
- A toy redis client implementation in Scala☆23Updated 5 years ago
- FP in Scala course, based on "Patterns in Types (Lambda Jam 2013)" and the Data61 fp-course☆20Updated 5 years ago
- All the code from the blog post about exploring STM in ZIO.☆18Updated 5 years ago
- ☆33Updated 5 years ago
- ☆30Updated 4 years ago
- Cooperative multithreading as a pure monad transformer☆73Updated this week
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 4 years ago
- Abstract Type Member Parallel Instances☆62Updated 4 years ago
- Automatic typeclass-based abstraction over monad-like types☆54Updated 4 years ago
- ☆21Updated 7 years ago
- Purely functional Apache Pulsar client for Scala built on top of Fs2☆71Updated this week
- Multisets for Scala☆85Updated 3 years ago
- Alternative to Free monads☆34Updated 8 years ago
- skema morphisms☆89Updated this week
- An effect monad for Scalaz 7.2☆55Updated 6 years ago
- ZIO Features☆21Updated 2 years ago
- A small library for writing referentially transparent and stack-safe sequential programs☆40Updated 6 years ago
- Cats Bifunctor IO☆79Updated 5 years ago
- Introducing tagless-final in Scala with an example of Language-Integrated Query☆18Updated 4 years ago
- ☆63Updated 6 years ago
- Fun and Games with Fix, Cofree, and Doobie☆40Updated 8 years ago
- ☆43Updated 5 years ago
- opentracing for pure applications☆17Updated 5 years ago