input-output-hk / scalanet
☆20Updated 3 years ago
Alternatives and similar repositories for scalanet:
Users that are interested in scalanet are comparing it to the libraries listed below
- Optics experimentation for Dotty☆32Updated 3 years ago
- Verified message-passing programs in Dotty☆48Updated 3 years ago
- Monadic folds☆70Updated 2 years ago
- Fast streams for Scala 3☆51Updated 2 weeks ago
- Miniature Quill implementation for Benchmarking and Study☆18Updated 2 years ago
- ☆27Updated 6 months ago
- A path to Recursion Schemes☆10Updated 4 years ago
- Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)☆36Updated 3 months ago
- ☆29Updated 4 years ago
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 3 years ago
- Cats Bifunctor IO☆79Updated 6 years ago
- Catless Category Theory in Dotty/Scala 3 meow ~☆44Updated last year
- Generic records for Scala☆16Updated 2 years ago
- Higher kinded data in Scala☆19Updated 5 months ago
- 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
- Replacing Akka Actors with Cats Effect and FS2☆44Updated 4 years ago
- Recursion schemes for Circe☆22Updated 6 months ago
- ☆17Updated 8 years ago
- ☆107Updated last year
- Abstract Type Member Parallel Instances☆62Updated 4 years ago
- Library for counting and enumerating things.☆44Updated 3 years ago
- Comparison between different patterns☆27Updated 7 years ago
- Linear types in Scala☆40Updated 3 weeks ago
- A reactive streams implementation for fs2☆63Updated 5 years ago
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 4 years ago
- A very small configuration library.☆11Updated 4 years ago
- Recursion schemes training examples and exercises☆60Updated 4 years ago
- ☆80Updated 4 years ago
- Probabilistic Data Structures☆15Updated 6 months ago