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:
- Typesafe, spec-first APIs without codegen. Just Import 'N' Go!☆49Updated last week
- Turn a normal resource into a pooled one.☆40Updated 3 years ago
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 4 years ago
- A micro-library to derive a typeclass for Scala 3 Union types.☆36Updated 2 weeks ago
- Example application demonstrating use of scala-cli, scodec, and fs2☆40Updated 2 years ago
- Typelevel's very own CryptoKitties!☆27Updated last week
- Configured derivation library for scala 3☆35Updated last year
- Type class derivation for services, not data☆37Updated 9 months ago
- Generate type mappers for your own type class☆13Updated 2 years ago
- A case-insensitive string for Scala☆39Updated last week
- ☆43Updated this week
- Companion to the Scala std lib, providing useful subtypes like `PositiveInt` or `MatchesRegex` as well as the ability to define custom va…☆32Updated 3 years ago
- Markdown String Interpolator for Scala 3☆19Updated 3 years ago
- A reimagined scala-pickling in the Scala 3 world☆73Updated 2 years ago
- An humble plugin to search for scala libraries☆37Updated last year
- Lightweight Buffer and Slice abstractions for Scala.☆25Updated last year
- An sbt plugin to organize your build using plain Scala files☆30Updated 2 years ago
- Cats Bifunctor IO☆79Updated 6 years ago
- Miniature Quill implementation for Benchmarking and Study☆18Updated 2 years ago
- Automatic derivation of scalacheck Arbitrary instances for Scala 3.☆15Updated last week
- A library for configuring scalac options☆45Updated last week
- minimum viable runtime☆66Updated 8 months ago
- To probe what we can't prove, so the unprovable may become probable; testing for Scala☆55Updated 9 months ago
- A type-parametric unboxed Option type for Scala☆64Updated 4 years ago
- TOML parser with codec derivation for the Scala platform☆17Updated 9 months ago
- MUnit binding for Typelevel Discipline☆25Updated last week
- A lightweight, simple and functional DSL library to work with XML in Scala with Cats☆61Updated 8 months ago
- Pure functional wrapper for RocksDB☆14Updated 6 years ago
- A core AST and utilities to manipulate geographical data☆21Updated 3 years ago
- Bringing Spire to Dotty/Scala 3☆14Updated last year