Single-line tagged-type helper for better type safety in Scala
☆17Sep 21, 2017Updated 9 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:
- A comfortable and fashionable way to have bi-directional conversations with modern web servers.☆14Nov 3, 2016Updated 9 years ago
- Prototype of the Libling concept. Libling is a way to add source dependencies to your sbt project.☆13Aug 18, 2017Updated 9 years ago
- Final tagless talk sources.☆15May 4, 2017Updated 9 years ago
- ☆18May 6, 2025Updated last year
- ☆10Oct 21, 2026Updated last week
- 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.
- Mixin classes and traits dynamically☆10Sep 4, 2017Updated 9 years ago
- Generalized recursion for Scalameta. And a Scala template tool.☆17Oct 11, 2017Updated 9 years ago
- compile-time typechecked sql literals for doobie☆20Sep 6, 2018Updated 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 10 years ago
- Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.☆79Oct 19, 2017Updated 9 years ago
- Generic library for structured commands with explicit parallelism☆11Nov 16, 2022Updated 3 years ago
- exports your dependency graph to a preloaded local repository☆15May 10, 2019Updated 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.
- Defend your Akka applications from failures in distributed systems.☆12Apr 19, 2016Updated 10 years ago
- scala testing framework☆25Apr 28, 2020Updated 6 years ago
- Common build and release steps for SBT projects☆59Feb 6, 2019Updated 7 years ago
- ☆22Nov 8, 2017Updated 8 years ago
- Field-based type hints for circe☆12Mar 22, 2018Updated 8 years ago
- Scala Algebra System☆20Updated this week
- Scala Verify is a minimal testing framework for Scala. Trust, but verify.☆95Aug 28, 2026Updated 2 months ago
- Comparison between different patterns☆26Sep 29, 2017Updated 9 years ago
- Simple CSV I/O for Scala. Read, write, validate, and transform. Do so line-by-line, all-at-once, or via streams.☆10May 14, 2015Updated 11 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Beautiful Syntax for Sealed Class Hierarchies☆38Aug 15, 2016Updated 10 years ago
- Scalameta pretty printer for better Scalafix refactorings☆18Apr 23, 2020Updated 6 years ago
- IO Type for Android + modern, functional UI language☆21Mar 28, 2017Updated 9 years ago
- Reactive data structures for Scala and Scala.js☆36Sep 19, 2018Updated 8 years ago
- A floating threshold for compiler warnings☆27Mar 15, 2024Updated 2 years ago
- Use reflection to dump nested case classes☆19Mar 3, 2014Updated 12 years ago
- Sangria monix integration☆10Updated this week
- Practical effect composition library based on abstract wrapping type and the free monad☆40Sep 12, 2018Updated 8 years ago
- A tiny and principled library for type-safe IDs☆30Sep 20, 2019Updated 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.
- ☆17Feb 5, 2026Updated 8 months ago
- Our slides for meetups and conferences☆16Feb 8, 2021Updated 5 years ago
- ☆53Mar 17, 2021Updated 5 years ago
- A simple build system for Idris☆22Mar 19, 2021Updated 5 years ago
- A Scala Collection for Multiple Access Patterns☆12Oct 22, 2016Updated 10 years ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 9 years ago
- An Unexceptional IO type for Cats☆48Apr 17, 2018Updated 8 years ago