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 4 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.☆89Updated this week
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆16Jan 2, 2022Updated 4 years ago
- 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.
- 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☆121Nov 11, 2025Updated 4 months ago
- Functional programming toolbox☆540Updated this week
- A collection of Magnolia add-on modules☆182Feb 12, 2026Updated last month
- Statically-checked string interpolation in Scala☆252Jan 26, 2025Updated last year
- ☆10Updated this week
- Desugaring scala `for` without implicit `withFilter`s☆711May 7, 2024Updated last year
- Fast Scala eDSL for HTML☆56Sep 13, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- backwards-binary-compatible Scala standard library additions☆70Updated this week
- Declarative concurrency and stream processing library for Scala☆215Mar 15, 2026Updated 2 weeks ago
- Purely functional HTTP client☆175Mar 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☆194Mar 2, 2026Updated 3 weeks ago
- Play JSON Reads/Writes instances for refined types☆24Updated this week
- 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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☆37Updated this week
- Companion repository for 'No More Orphans'☆14Oct 13, 2022Updated 3 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.
- community-contributed additions to the Scala 2.13 collections☆111Updated this week
- better implicit errors for scala☆373Jan 16, 2026Updated 2 months ago
- A regular expression type provider demo☆40Sep 16, 2015Updated 10 years ago
- Scala compiler plugin for warning suppression☆256Dec 19, 2025Updated 3 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☆64Oct 10, 2021Updated 4 years ago