Simple encoding of refinement types in Scala 3
☆23Jun 24, 2024Updated 2 years ago
Alternatives and similar repositories for mini-refined
Users that are interested in mini-refined are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- BigInteger for scala with very fast modPow☆10Jun 14, 2026Updated 4 months ago
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Nov 2, 2022Updated 3 years ago
- Compile-time expression evaluation for Scala 2☆16Jun 15, 2026Updated 4 months ago
- Bringing Spire to Dotty/Scala 3☆14Feb 19, 2024Updated 2 years ago
- An sbt plugin to configure Java Flight Recorder☆10Jul 28, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Staging area for new benchmarking infrastructure for Scala Native.☆16Nov 1, 2023Updated 2 years ago
- Scala Quick API☆71May 3, 2022Updated 4 years ago
- A cross compiled Scala.js port of JAMA for JVM, JavaScript, and Scala Native projects.☆10Aug 22, 2023Updated 3 years ago
- Clean room implementation of the LSP protocol in Scala, published for JVM, JS, and Native platforms☆57Apr 16, 2026Updated 6 months ago
- Example application demonstrating use of scala-cli, scodec, and fs2☆39Nov 23, 2023Updated 2 years ago
- ☆12Nov 12, 2021Updated 4 years ago
- tagless final macro☆18Sep 14, 2015Updated 11 years ago
- ☆12Jul 28, 2024Updated 2 years ago
- Smithy4s integration for Caliban, a Scala GraphQL library.☆14Oct 22, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)☆36Feb 3, 2026Updated 8 months ago
- IdeaLingua RPC for Scala, TypeScript, C#☆21Oct 7, 2026Updated 3 weeks ago
- ☆12Apr 6, 2023Updated 3 years ago
- ☆109Jan 7, 2024Updated 2 years ago
- experimental CPS transformer for dotty☆194Sep 27, 2026Updated last month
- Profunctor optics and lenses library for Scala☆12Mar 16, 2026Updated 7 months ago
- Scala <-> C interop☆113Feb 29, 2024Updated 2 years ago
- Turn a normal resource into a pooled one.☆40Nov 23, 2022Updated 3 years ago
- Functional Scala Cache☆61Dec 11, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time☆69Jul 8, 2022Updated 4 years ago
- sbt plugin to create custom timezone db files☆12Updated this week
- Provide names for numbers in English☆22Jun 6, 2019Updated 7 years ago
- SADDLE: Scala Data Library☆39Apr 27, 2026Updated 6 months ago
- Generic records for Scala☆16Mar 7, 2022Updated 4 years ago
- Scala 3 Decompiler☆11May 17, 2021Updated 5 years ago
- Miniature Quill implementation for Benchmarking and Study☆18Jan 11, 2023Updated 3 years ago
- Experiments with symbolic functions in the Scala type system☆27Jun 17, 2019Updated 7 years ago
- Sample app to use ZIO and DIstage with a playframework application☆11Jan 15, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Direct-style async/await syntax for Cats Effect☆106Updated this week
- Unwrapped is an effects library for Scala 3 that introduces structured concurrency and an abilities system to describe pure functions and…☆40Aug 21, 2023Updated 3 years ago
- Play JSON Reads/Writes instances for refined types☆25Oct 22, 2026Updated last week
- Generate type mappers for your own type class☆13Oct 8, 2026Updated 3 weeks ago
- Script which performs download and initial setup of Cmder, Cygwin and several other packages☆10May 20, 2015Updated 11 years ago
- Markdown String Interpolator for Scala 3☆19Jan 18, 2022Updated 4 years ago
- Functional Avro for Scala☆105Oct 20, 2026Updated last week