leszekgruchala / typelevel-programming-scala
TypeLevel Programming in Scala
☆16Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for typelevel-programming-scala
- Workshop on typeclasses in scala☆26Updated 7 years ago
- A utility harness for testing free programs (built on specs2)☆29Updated 3 years ago
- Forget your methods☆41Updated 6 years ago
- Provides protection against cascading failures and system overload.☆27Updated 6 months ago
- A tour of some Typelevel libraries☆25Updated 6 years ago
- Example code from my presentation on shapeless type class derivation☆29Updated 9 years ago
- Asynchronous, fully functional Cassandra driver implemented in fs2☆18Updated 6 years ago
- Typeclass-based HashSet/HashMap for Scala☆31Updated 7 years ago
- This repository contains a minimal SBT project for experimenting with a fix for SI-2712☆19Updated 8 years ago
- Totalitarian: typesafe data structures for working with total functions☆49Updated 5 years ago
- A monad for resource acquisition and cleanup☆54Updated 6 years ago
- Hacky applicative-style for comprehensions for Scala.☆37Updated 2 years ago
- Giter8 template using tut and remark.js☆36Updated 5 years ago
- Working with XML in Scala☆23Updated last week
- A library to provide building blocks for stateful stream processing with FS2 over Kafka☆25Updated 6 years ago
- Comparison between different patterns☆27Updated 7 years ago
- Cats Bifunctor IO☆79Updated 5 years ago
- scala testing framework☆25Updated 4 years ago
- Alternative to Free monads☆34Updated 8 years ago
- Free wrapper specialized to Coproducts of DSL/Containers☆23Updated 7 years ago
- An Unexceptional IO type for Cats☆49Updated 6 years ago
- Fun and Games with Fix, Cofree, and Doobie☆40Updated 8 years ago
- Monadic folds☆70Updated 2 years ago
- Play JSON Reads/Writes instances for refined types☆24Updated 3 weeks ago
- Cats instances for fastparse☆19Updated 6 years ago
- ☆35Updated 4 years ago
- Work in progress: Simpler and more powerful alternative to Scala's built-in for-comprehension syntax☆25Updated 8 years ago
- A pure scheduler for referentially transparent effect types☆19Updated last year