Single-line tagged-type helper for better type safety in Scala
☆17Sep 21, 2017Updated 8 years ago
Alternatives and similar repositories for taggy
Users that are interested in taggy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Final tagless talk sources.☆15May 4, 2017Updated 9 years ago
- Prototype of the Libling concept. Libling is a way to add source dependencies to your sbt project.☆13Aug 18, 2017Updated 8 years ago
- ☆10Updated this week
- Mixin classes and traits dynamically☆10Sep 4, 2017Updated 8 years ago
- compile-time typechecked sql literals for doobie☆20Sep 6, 2018Updated 7 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.
- scala testing framework☆25Apr 28, 2020Updated 6 years ago
- Generalized recursion for Scalameta. And a Scala template tool.☆17Oct 11, 2017Updated 8 years ago
- ☆25Feb 10, 2017Updated 9 years ago
- sbt plugin to speed up development by leveraging tmpfs.☆45Mar 4, 2020Updated 6 years ago
- An SBT plugin to let you know when you mess up☆21Aug 30, 2016Updated 9 years ago
- Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.☆79Oct 19, 2017Updated 8 years ago
- exports your dependency graph to a preloaded local repository☆15May 10, 2019Updated 7 years ago
- Defend your Akka applications from failures in distributed systems.☆12Apr 19, 2016Updated 10 years ago
- Common build and release steps for SBT projects☆59Feb 6, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆22Nov 8, 2017Updated 8 years ago
- ☆18May 6, 2025Updated last year
- A starter for scala-native.☆27Mar 24, 2018Updated 8 years ago
- Field-based type hints for circe☆12Mar 22, 2018Updated 8 years ago
- Scalameta pretty printer for better Scalafix refactorings☆18Apr 23, 2020Updated 6 years ago
- Scala Verify is a minimal testing framework for Scala. Trust, but verify.☆93Apr 9, 2026Updated 3 months ago
- Sangria monix integration☆10Jul 9, 2026Updated last week
- A floating threshold for compiler warnings☆27Mar 15, 2024Updated 2 years ago
- Comparison between different patterns☆27Sep 29, 2017Updated 8 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.
- IO Type for Android + modern, functional UI language☆21Mar 28, 2017Updated 9 years ago
- Beautiful Syntax for Sealed Class Hierarchies☆38Aug 15, 2016Updated 9 years ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 8 years ago
- Use reflection to dump nested case classes☆19Mar 3, 2014Updated 12 years ago
- ☆16Feb 5, 2026Updated 5 months ago
- A tiny and principled library for type-safe IDs☆30Sep 20, 2019Updated 6 years ago
- An Unexceptional IO type for Cats☆48Apr 17, 2018Updated 8 years ago
- Html5 based Scala IDE with Play Framework☆21Oct 9, 2012Updated 13 years ago
- Generate literate-style markdown docs from your sources☆59Jan 30, 2018Updated 8 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.
- A Scala Collection for Multiple Access Patterns☆12Oct 22, 2016Updated 9 years ago
- ☆53Mar 17, 2021Updated 5 years ago
- Scala Exercises' lessons for the Doobie library☆15Mar 31, 2023Updated 3 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 8 years ago
- An experiment running http4s as native image with Graal (+ Substrate)☆26Mar 30, 2019Updated 7 years ago
- ☆14Jul 26, 2019Updated 6 years ago
- TypeLevel Programming in Scala☆15Sep 4, 2016Updated 9 years ago