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
- compile-time typechecked sql literals for doobie☆20Sep 6, 2018Updated 7 years ago
- ☆10Feb 16, 2026Updated last week
- Mixin classes and traits dynamically☆10Sep 4, 2017Updated 8 years ago
- sbt plugin to speed up development by leveraging tmpfs.☆45Mar 4, 2020Updated 5 years ago
- ☆22Nov 8, 2017Updated 8 years ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 8 years ago
- Simple scala matchers☆23Jun 11, 2019Updated 6 years ago
- ☆25Feb 10, 2017Updated 9 years ago
- ☆14Jul 26, 2019Updated 6 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
- A tiny and principled library for type-safe IDs☆30Sep 20, 2019Updated 6 years ago
- A Scala Collection for Multiple Access Patterns☆12Oct 22, 2016Updated 9 years ago
- Field-based type hints for circe☆12Mar 22, 2018Updated 7 years ago
- Defend your Akka applications from failures in distributed systems.☆13Apr 19, 2016Updated 9 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- exports your dependency graph to a preloaded local repository☆15May 10, 2019Updated 6 years ago
- Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%☆17Jun 23, 2017Updated 8 years ago
- Scalameta pretty printer for better Scalafix refactorings☆17Apr 23, 2020Updated 5 years ago
- Serialise and deserialise classes using scala.meta☆16Sep 20, 2017Updated 8 years ago
- Common build and release steps for SBT projects☆58Feb 6, 2019Updated 7 years ago
- Scala web crawling and scraping using fs2 streams☆16Aug 29, 2017Updated 8 years ago
- ☆18May 6, 2025Updated 9 months ago
- Generalized recursion for Scalameta. And a Scala template tool.☆17Oct 11, 2017Updated 8 years ago
- TypeLevel Programming in Scala☆15Sep 4, 2016Updated 9 years ago
- Generate literate-style markdown docs from your sources☆59Jan 30, 2018Updated 8 years ago
- scala testing framework☆25Apr 28, 2020Updated 5 years ago
- Blog posts from hacking-scala.tumblr.com☆20Jun 20, 2016Updated 9 years ago
- a very simple sbt-0.10 plugin to run shell commands from within the sbt shell☆43Apr 7, 2015Updated 10 years ago
- A simple macro-less logging typeclass with some common backends☆22Feb 20, 2026Updated last week
- Problem solving à la carte☆22Apr 11, 2022Updated 3 years ago
- An Unexceptional IO type for Cats☆48Apr 17, 2018Updated 7 years ago
- An SBT plugin to let you know when you mess up☆21Aug 30, 2016Updated 9 years ago
- Make Google custom functions for your Spreadsheets in Scala☆52Aug 11, 2019Updated 6 years ago
- Scala Verify is a minimal testing framework for Scala. Trust, but verify.☆93Jan 28, 2026Updated last month
- IO Type for Android + modern, functional UI language☆21Mar 28, 2017Updated 8 years ago
- Scalafix rewrites to migrate from sbt 0.13 to 1.0.☆23Aug 28, 2017Updated 8 years ago
- ☆22Jan 22, 2017Updated 9 years ago