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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 10 years ago
- ☆10Feb 18, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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☆48Jul 20, 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 last year
- Code health for scalameta☆23Jan 29, 2015Updated 11 years ago
- A dimensional analysis library based on dependent types☆195Aug 15, 2024Updated last year
- 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 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.
- Generation of arbitrary case classes / ADTs instances with scalacheck and shapeless☆237Aug 12, 2024Updated last year
- 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☆282Updated this 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 9 years ago
- Pure Functional SQL generation.☆40Oct 5, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 14, 2026Updated 2 weeks ago