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 8 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
- ☆10Mar 31, 2026Updated last 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- scala testing framework☆25Apr 28, 2020Updated 5 years ago
- Generalized recursion for Scalameta. And a Scala template tool.☆17Oct 11, 2017Updated 8 years ago
- sbt plugin to speed up development by leveraging tmpfs.☆45Mar 4, 2020Updated 6 years ago
- ☆25Feb 10, 2017Updated 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 6 years ago
- An SBT plugin to let you know when you mess up☆21Aug 30, 2016Updated 9 years ago
- Defend your Akka applications from failures in distributed systems.☆13Apr 19, 2016Updated 9 years ago
- Common build and release steps for SBT projects☆58Feb 6, 2019Updated 7 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.
- ☆22Nov 8, 2017Updated 8 years ago
- ☆18May 6, 2025Updated 11 months ago
- A starter for scala-native.☆27Mar 24, 2018Updated 8 years ago
- Field-based type hints for circe☆12Mar 22, 2018Updated 8 years ago
- Simple scala matchers☆23Jun 11, 2019Updated 6 years ago
- Scalameta pretty printer for better Scalafix refactorings☆17Apr 23, 2020Updated 5 years ago
- Scala Verify is a minimal testing framework for Scala. Trust, but verify.☆94Updated this week
- Beautiful Syntax for Sealed Class Hierarchies☆38Aug 15, 2016Updated 9 years ago
- Sangria monix integration☆10Mar 28, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Comparison between different patterns☆27Sep 29, 2017Updated 8 years ago
- A floating threshold for compiler warnings☆27Mar 15, 2024Updated 2 years ago
- IO Type for Android + modern, functional UI language☆21Mar 28, 2017Updated 9 years ago
- ☆19Jan 4, 2023Updated 3 years ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 8 years ago
- A subprocess interface for Scala☆97Sep 16, 2015Updated 10 years ago
- A tiny and principled library for type-safe IDs☆30Sep 20, 2019Updated 6 years ago
- An extension which improves working with the TypeScript playground☆10Aug 26, 2020Updated 5 years ago
- An Unexceptional IO type for Cats☆48Apr 17, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Generate literate-style markdown docs from your sources☆59Jan 30, 2018Updated 8 years ago
- A VS Code extension for the Artsy Tech Stacks☆11Feb 6, 2026Updated 2 months 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 7 years ago
- ☆14Jul 26, 2019Updated 6 years ago
- An experiment running http4s as native image with Graal (+ Substrate)☆26Mar 30, 2019Updated 7 years ago