Type-level API for standard collections
☆33Jun 6, 2016Updated 10 years ago
Alternatives and similar repositories for shapeless-refined-std
Users that are interested in shapeless-refined-std are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- tagless final macro☆18Sep 14, 2015Updated 10 years ago
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆53Apr 18, 2015Updated 11 years ago
- 🤖Github bot for checking code formatting with scalafmt☆16Jun 3, 2018Updated 8 years ago
- Automatic argonaut codec derivation with shapeless☆100Aug 21, 2024Updated last year
- ☆15Mar 17, 2016Updated 10 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.
- Type-level validation for Scala☆169Apr 18, 2016Updated 10 years ago
- Array-based immutable collections for scala☆88Mar 22, 2018Updated 8 years ago
- Specs2 bindings for Scalaz☆34Dec 28, 2017Updated 8 years ago
- Integration between jawn and fs2☆40Updated this week
- macro for summoning implicit values☆92Mar 7, 2020Updated 6 years ago
- macro-compat is a small library which allows you to compile macros with Scala 2.10.x which are written to the Scala 2.11/2 macro API.☆83Jun 7, 2019Updated 7 years ago
- Boilerplate-free syntax for computations with effects☆178Jun 24, 2014Updated 12 years ago
- ☆17Aug 15, 2015Updated 11 years ago
- ☆10Feb 18, 2016Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6☆46Dec 15, 2017Updated 8 years ago
- Middle layer between JavaBeans and shapeless☆49Aug 9, 2026Updated last week
- Interoperability libraries for Shapeless☆77May 21, 2017Updated 9 years ago
- Random Data Generation and/or Property Testing in Scala & Scala.JS.☆188Aug 12, 2024Updated 2 years ago
- Code health for scalameta☆23Jan 29, 2015Updated 11 years ago
- A dimensional analysis library based on dependent types☆195Aug 15, 2024Updated 2 years ago
- Scripts to automatically fetch Sonatype statistics☆15Nov 4, 2022Updated 3 years ago
- Play2 ActionBuilder Composition Support☆15Dec 4, 2018Updated 7 years ago
- Problem solving à la carte☆22Apr 11, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Generation of arbitrary case classes / ADTs instances with scalacheck and shapeless☆237Aug 12, 2024Updated 2 years ago
- A compiler plugin to add support for trailing commas in Scala 2.11☆37Jun 28, 2016Updated 10 years ago
- Functional type classes for Scala☆180Mar 13, 2015Updated 11 years ago
- property based testing library for Scala☆282Aug 7, 2026Updated last week
- My own private IDE-aho.☆148Dec 6, 2021Updated 4 years ago
- Example code from my presentation on shapeless type class derivation☆28Oct 11, 2015Updated 10 years ago
- Everything you need to make type classes first class.☆61Mar 6, 2016Updated 10 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 10 years ago
- Pure Functional SQL generation.☆40Oct 5, 2018Updated 7 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.
- Shapelaysson = Shapeless + Play-Json☆23Feb 27, 2013Updated 13 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- A general monad for managing stacking effects☆204Dec 12, 2016Updated 9 years ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 10 years ago
- Extensible protocols for Scala☆13Jul 8, 2016Updated 10 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.☆72Jun 15, 2019Updated 7 years ago
- Play JSON Reads/Writes instances for refined types☆25Jul 31, 2026Updated 2 weeks ago