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 11 years ago
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆53Apr 18, 2015Updated 11 years ago
- Automatic argonaut codec derivation with shapeless☆100Aug 21, 2024Updated 2 years ago
- ☆15Mar 17, 2016Updated 10 years ago
- Integration between jawn and fs2☆40Oct 29, 2026Updated last week
- 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.
- Comments as GitHub pull requests for Jekyll (and other static site generator) websites.☆16Dec 15, 2018Updated 7 years ago
- Type-level validation for Scala☆170Apr 18, 2016Updated 10 years ago
- 🤖Github bot for checking code formatting with scalafmt☆16Jun 3, 2018Updated 8 years ago
- Array-based immutable collections for scala☆88Mar 22, 2018Updated 8 years ago
- Specs2 bindings for Scalaz☆34Dec 28, 2017Updated 8 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
- macro for summoning implicit values☆92Mar 7, 2020Updated 6 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.
- ☆10Feb 18, 2016Updated 10 years ago
- Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6☆46Dec 15, 2017Updated 8 years ago
- Interoperability libraries for Shapeless☆77May 21, 2017Updated 9 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 4 years ago
- Middle layer between JavaBeans and shapeless☆49Oct 29, 2026Updated last week
- Random Data Generation and/or Property Testing in Scala & Scala.JS.☆192Updated this week
- Play2 ActionBuilder Composition Support☆15Dec 4, 2018Updated 7 years ago
- Problem solving à la carte☆22Apr 11, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A general monad for managing stacking effects☆204Dec 12, 2016Updated 9 years ago
- 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
- My own private IDE-aho.☆148Dec 6, 2021Updated 4 years ago
- Functional type classes for Scala☆180Mar 13, 2015Updated 11 years ago
- Code health for scalameta☆23Jan 29, 2015Updated 11 years ago
- ☆57Jul 13, 2017Updated 9 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 10 years ago
- A simple typeclass library inspired by scalaz meant as a learning tool by reducing the initial complexity of scalaz.☆10Nov 7, 2016Updated 9 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.
- Example code from my presentation on shapeless type class derivation☆28Oct 11, 2015Updated 11 years ago
- property based testing library for Scala☆283Updated this week
- ☆12Jul 28, 2014Updated 12 years ago
- Extensible protocols for Scala☆13Jul 8, 2016Updated 10 years ago
- Shapelaysson = Shapeless + Play-Json☆23Feb 27, 2013Updated 13 years ago
- Pure Functional SQL generation.☆40Oct 5, 2018Updated 8 years ago
- Everything you need to make type classes first class.☆61Mar 6, 2016Updated 10 years ago