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.☆90Updated this week
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆16Jan 2, 2022Updated 4 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.
- 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 2 months ago
- Statically-checked string interpolation in Scala☆252Jan 26, 2025Updated last year
- ☆10Updated this week
- Desugaring scala `for` without implicit `withFilter`s☆712May 7, 2024Updated 2 years ago
- Fast Scala eDSL for HTML☆56Sep 13, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- backwards-binary-compatible Scala standard library additions☆70Updated this week
- Declarative concurrency and stream processing library for Scala☆215Apr 26, 2026Updated last week
- 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☆195Apr 11, 2026Updated 3 weeks ago
- A reimagined scala-pickling in the Scala 3 world☆72May 20, 2023Updated 2 years ago
- ABANDONED Pure Scala serialization library with annotations☆74Jun 12, 2019Updated 6 years ago
- Play JSON Reads/Writes instances for refined types☆25Apr 19, 2026Updated 2 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time☆68Jul 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☆47Updated 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☆37Apr 8, 2026Updated last month
- Companion repository for 'No More Orphans'☆14Oct 13, 2022Updated 3 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.
- community-contributed additions to the Scala 2.13 collections☆111Updated this week
- better implicit errors for scala☆372Jan 16, 2026Updated 3 months ago
- A regular expression type provider demo☆41Sep 16, 2015Updated 10 years ago
- Scala compiler plugin for warning suppression☆255Dec 19, 2025Updated 4 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