b-studios / scala-effektLinks
Extensible algebraic effects with handlers
☆145Updated 2 weeks ago
Alternatives and similar repositories for scala-effekt
Users that are interested in scala-effekt are comparing it to the libraries listed below
Sorting:
- ☆108Updated last year
- ☆188Updated 6 months ago
- Algebraic Effects for Scala 3☆75Updated 2 weeks ago
- Catless Category Theory in Dotty/Scala 3 meow ~☆43Updated 2 years ago
- Multisets for Scala☆85Updated 3 years ago
- Verified message-passing programs in Dotty☆48Updated 4 years ago
- an implementation of Wadler's a prettier printer☆188Updated 2 weeks ago
- The pure testing library by scalaz.☆89Updated 5 years ago
- Asynchronous data type with typed errors.☆82Updated 10 months ago
- Linear types in Scala☆43Updated last week
- A friendly guide for leveraging the power of recursion schemes in real-world applications☆107Updated 4 years 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 6 years ago
- Effectful property testing built on ScalaCheck☆82Updated last week
- A reimagined scala-pickling in the Scala 3 world☆73Updated 2 years ago
- Comprehensions for Arrows and Monoidal categories☆61Updated last week
- Type-safe, persistent storage for values of arbitrary types☆83Updated 2 weeks ago
- Extensible effects for Scala☆37Updated 2 years ago
- Frege support for sbt☆53Updated last week
- Build your web API on the type level.☆159Updated 6 years ago
- Generic Monoids for Scala☆52Updated 2 weeks ago
- Finally Tagless Blocking Implementation☆92Updated 3 years ago
- A scala 3 tree explorer for the reflect module☆46Updated 7 months ago
- Hoogle-like searches for Scala 3 and Kotlin☆91Updated 9 months ago
- A type-parametric unboxed Option type for Scala☆64Updated 3 years ago
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 5 years ago
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆258Updated last month
- Scala 3 native binding generator + libclang facade☆87Updated 2 weeks ago
- Cats Bifunctor IO☆79Updated 6 years ago
- Performant, purely-functional, low-level, and unopinionated wrapper around Java NIO functionality☆84Updated 5 years ago
- Recursion schemes training examples and exercises☆60Updated 5 years ago