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
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 3, 2026Updated 2 weeks ago
- Mixin classes and traits dynamically☆10Sep 4, 2017Updated 8 years ago
- compile-time typechecked sql literals for doobie☆20Sep 6, 2018Updated 7 years ago
- 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
- ☆22Nov 8, 2017Updated 8 years ago
- ☆18May 6, 2025Updated 10 months ago
- A starter for scala-native.☆27Mar 24, 2018Updated 7 years ago
- Field-based type hints for circe☆12Mar 22, 2018Updated 7 years ago
- Simple scala matchers☆23Jun 11, 2019Updated 6 years ago
- Scalameta pretty printer for better Scalafix refactorings☆17Apr 23, 2020Updated 5 years ago
- Beautiful Syntax for Sealed Class Hierarchies☆38Aug 15, 2016Updated 9 years ago
- Scala Verify is a minimal testing framework for Scala. Trust, but verify.☆94Mar 4, 2026Updated 2 weeks ago
- Sangria monix integration☆10Feb 12, 2026Updated last month
- 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 8 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 Unexceptional IO type for Cats☆48Apr 17, 2018Updated 7 years ago
- Generate literate-style markdown docs from your sources☆59Jan 30, 2018Updated 8 years ago
- ☆53Mar 17, 2021Updated 5 years ago
- Scala Exercises' lessons for the Doobie library☆15Mar 31, 2023Updated 2 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 6 years ago
- Neovim and Telescope plugin to search the scaladex index☆26Jun 8, 2025Updated 9 months ago
- Idem provides decentralized k-ordered ID generation.☆14Oct 13, 2020Updated 5 years ago
- TypeLevel Programming in Scala☆15Sep 4, 2016Updated 9 years ago