note / mini-refinedLinks
Simple encoding of refinement types in Scala 3
☆24Updated last year
Alternatives and similar repositories for mini-refined
Users that are interested in mini-refined are comparing it to the libraries listed below
Sorting:
- Turn a normal resource into a pooled one.☆40Updated 2 years ago
- Typesafe, spec-first APIs without codegen. Just Import 'N' Go!☆38Updated 2 weeks ago
- Example application demonstrating use of scala-cli, scodec, and fs2☆40Updated last year
- Configured derivation library for scala 3☆35Updated 11 months ago
- The first Scala macros' standard library.☆51Updated this week
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 4 years ago
- A micro-library to derive a typeclass for Scala 3 Union types.☆35Updated this week
- Generate type mappers for your own type class☆13Updated 2 years ago
- A case-insensitive string for Scala☆40Updated 3 weeks ago
- A library for configuring scalac options☆44Updated 2 weeks ago
- Efficient diffing in Scala☆60Updated last year
- Type class derivation for services, not data☆37Updated 6 months ago
- Markdown String Interpolator for Scala 3☆19Updated 3 years ago
- Typelevel's very own CryptoKitties!☆28Updated 3 weeks ago
- Refactoring Generator of Source Code for Scala☆21Updated last month
- An sbt plugin to organize your build using plain Scala files☆30Updated 2 years ago
- A wrapper around Apache SSHD targeting cats-effect and fs2☆44Updated 5 months ago
- Bringing Spire to Dotty/Scala 3☆14Updated last year
- A reimagined scala-pickling in the Scala 3 world☆73Updated 2 years ago
- Miniature Quill implementation for Benchmarking and Study☆18Updated 2 years ago
- Lightweight Buffer and Slice abstractions for Scala.☆25Updated last year
- To probe what we can't prove, so the unprovable may become probable; testing for Scala☆55Updated 6 months ago
- minimum viable runtime☆66Updated 5 months ago
- A toy Redis server implemented using pure FP on top of Cats Effect, Fs2, and Scodec☆43Updated 2 years ago
- CLI prompts in Scala 3, available on JS, JVM, and Native platforms☆39Updated 4 months ago
- Keyed Semaphore Implementation☆11Updated last year
- Infrastructure as Types - modern infrastructure declaration and deployment toolkit☆26Updated last year
- Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time☆67Updated 3 years ago
- Type-safe, persistent storage for values of arbitrary types☆83Updated this week
- Typeclasses for integration of dotty-cps-async with well-known monads.☆17Updated last month