strymonas / strymonas-scala
Fast streams for Scala 3
☆52Updated last week
Alternatives and similar repositories for strymonas-scala:
Users that are interested in strymonas-scala are comparing it to the libraries listed below
- Linear types in Scala☆42Updated last week
- Higher kinded data in Scala☆19Updated 6 months ago
- Verified message-passing programs in Dotty☆48Updated 3 years ago
- Optics experimentation for Dotty☆32Updated 3 years ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated last year
- Unique Functional Values for Scala☆17Updated 5 months ago
- A type-parametric unboxed Option type for Scala☆61Updated 3 years ago
- Generic Monoids for Scala☆52Updated 2 weeks ago
- Access Scala language features on the type-level☆31Updated 5 months ago
- ☆11Updated 5 years ago
- gestalt : portable and solid macros for Scala☆31Updated 7 years ago
- WIP - Scalameta powered code generation☆40Updated 7 years ago
- ☆24Updated 2 years ago
- Typesafe record types for Scala☆21Updated 3 weeks ago
- Leibniz equivalence and Liskov substitutability library for Scala.☆37Updated 2 years ago
- ☆53Updated last month
- Algebraic Effects for Scala 3☆57Updated 2 weeks ago
- Effect Zoo for Scala☆31Updated 3 weeks ago
- ☆41Updated 4 years ago
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Updated 2 years ago
- Bringing Spire to Dotty/Scala 3☆14Updated 11 months ago
- A Giter8 template for a basic Dotty application build using ZIO☆17Updated 6 months ago
- ☆11Updated 3 years ago
- Turn a normal resource into a pooled one.☆38Updated 2 years ago
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 4 years ago
- ☆29Updated 4 years ago
- Makes `A | Null` work with for-comprehensions☆22Updated last year
- Automatic typeclass-based abstraction over monad-like types☆54Updated 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 5 years ago
- Cats Bifunctor IO☆80Updated 6 years ago