TypeChecked / alphabet-soup
Type calculations at compile time
☆40Updated 5 years ago
Alternatives and similar repositories for alphabet-soup:
Users that are interested in alphabet-soup are comparing it to the libraries listed below
- A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.☆73Updated 5 years ago
- Transform and compose tagless final encoded algebras in scala☆94Updated 6 years ago
- Library to support automatic labeling of ScalaCheck properties.☆69Updated 3 months ago
- Static annotations for Kittens for people who don't like to write semiautomatic derivations into companion objects themselves.☆42Updated 4 years ago
- Abstract Type Member Parallel Instances☆61Updated 4 years ago
- A monad for resource acquisition and cleanup☆53Updated 6 years ago
- A reactive streams implementation for fs2☆63Updated 5 years ago
- Typeclass proposal for Dotty☆47Updated 6 years ago
- enforce the Scalazzi subset of Scala with scalafix☆82Updated 5 years ago
- Finally Tagless Blocking Implementation☆92Updated 2 years ago
- Circe codec derivation using magnolia☆85Updated 7 months ago
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 4 years ago
- ☆115Updated 2 years ago
- ☆79Updated 4 years ago
- Cats Bifunctor IO☆79Updated 6 years ago
- Golden testing for Circe☆93Updated 7 months ago
- macro for summoning implicit values☆92Updated 5 years ago
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 4 years ago
- Provides a functional API for tracing programs across system and network boundaries.☆61Updated 8 months ago
- Multisets for Scala☆85Updated 3 years ago
- Wire your cakes automatically to zio environment☆42Updated 5 years ago
- Caches are tricky - Let Mules Haul its Weight.☆67Updated 8 months ago
- Kafka client for functional streams for scala (fs2)☆77Updated last year
- Non-blocking AWS SDK for Scala exposing strongly-typed APIs built on top of http4s, fs2 and cats☆85Updated 6 years ago
- Deal with failures☆38Updated 5 years ago
- An Unexceptional IO type for Cats☆49Updated 6 years ago
- A Scala compiler plugin for mutual tail recursion☆88Updated 5 years ago
- Liberator - sent to make you Free☆88Updated 6 years ago
- Stuff that could've been made into a blog if I wasn't too lazy☆19Updated 3 years ago
- Totalitarian: typesafe data structures for working with total functions☆49Updated 6 years ago