Unboxed (multi-nested-)tagged + unboxed newtypes. Better and much friendlier alternative to AnyVals.
☆101Nov 23, 2022Updated 3 years ago
Alternatives and similar repositories for scala-supertagged
Users that are interested in scala-supertagged are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Zero-dependency boilerplate-free tagged types for Scala☆37Apr 9, 2021Updated 5 years ago
- Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%☆17Jun 23, 2017Updated 8 years ago
- ☆16Aug 20, 2018Updated 7 years ago
- Telegramium or F[ Tg ] - pure functional Telegram Bot API implementation for Scala.☆90May 20, 2026Updated last week
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆16Jan 2, 2022Updated 4 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.
- Multiple instance derivations inside a single macro annotation☆186Mar 4, 2025Updated last year
- Typelevel http service definition DSL☆152Aug 19, 2024Updated last year
- AST free JSON library for Scala☆121Apr 8, 2026Updated last month
- Functional programming toolbox☆541Updated this week
- A collection of Magnolia add-on modules☆182Feb 12, 2026Updated 3 months ago
- Statically-checked string interpolation in Scala☆252Jan 26, 2025Updated last year
- ☆10May 12, 2026Updated 2 weeks ago
- Desugaring scala `for` without implicit `withFilter`s☆712May 7, 2024Updated 2 years ago
- Fast Scala eDSL for HTML☆56Sep 13, 2022Updated 3 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.
- backwards-binary-compatible Scala standard library additions☆71May 3, 2026Updated 3 weeks ago
- Declarative concurrency and stream processing library for Scala☆215Apr 26, 2026Updated last month
- Purely functional HTTP client☆176Mar 2, 2023Updated 3 years ago
- ☆41Jan 13, 2021Updated 5 years ago
- Scala macros for compile-time generation of Kryo serializers☆63Jul 14, 2024Updated last year
- experimental CPS transformer for dotty☆195May 16, 2026Updated last week
- A reimagined scala-pickling in the Scala 3 world☆73May 20, 2023Updated 3 years ago
- ABANDONED Pure Scala serialization library with annotations☆75Jun 12, 2019Updated 6 years ago
- Play JSON Reads/Writes instances for refined types☆25May 12, 2026Updated 2 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time☆69Jul 8, 2022Updated 3 years ago
- Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric☆29Jul 4, 2020Updated 5 years ago
- Middle layer between JavaBeans and shapeless☆48Updated this week
- Scalalaz podcast website generator☆10Dec 25, 2024Updated last year
- ☆12Jul 28, 2017Updated 8 years ago
- Leibniz equivalence and Liskov substitutability library for Scala.☆37Mar 28, 2022Updated 4 years ago
- Various tasks solved via metaprogramming in Dotty☆136Sep 12, 2022Updated 3 years ago
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆37May 18, 2026Updated last week
- Companion repository for 'No More Orphans'☆14Oct 13, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- community-contributed additions to the Scala 2.13 collections☆111Updated this week
- better implicit errors for scala☆372Jan 16, 2026Updated 4 months ago
- A regular expression type provider demo☆41Sep 16, 2015Updated 10 years ago
- Scala compiler plugin for warning suppression☆255Dec 19, 2025Updated 5 months ago
- Operations for primitive and String singleton types☆164Aug 12, 2024Updated last year
- ☆35Jul 12, 2020Updated 5 years ago
- A type-parametric unboxed Option type for Scala☆65Oct 10, 2021Updated 4 years ago