strymonas / strymonas-scalaLinks
Fast streams for Scala 3
☆55Updated 6 months ago
Alternatives and similar repositories for strymonas-scala
Users that are interested in strymonas-scala are comparing it to the libraries listed below
Sorting:
- Verified message-passing programs in Dotty☆49Updated 4 years ago
- ☆108Updated last year
- ☆11Updated 6 years ago
- Access Scala language features on the type-level☆31Updated last year
- ☆41Updated 4 years ago
- Linear types in Scala☆45Updated 2 weeks ago
- Unique Functional Values for Scala☆17Updated 11 months ago
- Experimental WasmGC backend for Scala.js | merging into the upstream Scala.js repo https://github.com/scala-js/scala-js/pull/4988☆42Updated last year
- Leibniz equivalence and Liskov substitutability library for Scala.☆37Updated 3 years ago
- Higher kinded data in Scala☆20Updated 5 months ago
- A type-parametric unboxed Option type for Scala☆64Updated 3 years ago
- Generic Monoids for Scala☆52Updated 2 weeks ago
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 5 years ago
- Effect Zoo for Scala☆42Updated 2 weeks ago
- Library for counting and enumerating things.☆47Updated 4 years ago
- A minimal Scala creative coding library targeting JVM/Javascript/Native☆58Updated last week
- Type class derivation for services, not data☆37Updated 6 months ago
- WIP - Scalameta powered code generation☆41Updated 7 years ago
- Makes `A | Null` work with for-comprehensions☆23Updated last year
- Extensible effects for Scala☆37Updated 3 years ago
- A case-insensitive string for Scala☆40Updated 2 weeks ago
- Hacky applicative-style for comprehensions for Scala.☆37Updated 3 years ago
- Automatic derivation of scalacheck Arbitrary instances for Scala 3.☆14Updated this week
- gestalt : portable and solid macros for Scala☆31Updated 7 years ago
- Multisets for Scala☆85Updated 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
- Invertible syntax and partial isomorphisms for Scala☆31Updated 7 years ago
- Cooperative multithreading as a pure monad transformer☆73Updated this week
- Companion repository for 'No More Orphans'☆14Updated 2 years ago
- Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes☆32Updated 8 years ago