typelevel / disciplineLinks
Flexible law checking for Scala
☆332Updated last week
Alternatives and similar repositories for discipline
Users that are interested in discipline are comparing it to the libraries listed below
Sorting:
- cats transformer type classes.☆310Updated this week
- Functional Configurations for Scala☆405Updated last week
- Generation of arbitrary case classes / ADTs instances with scalacheck and shapeless☆238Updated 10 months ago
- friendly little parsers☆358Updated 10 months ago
- Statically-checked string interpolation in Scala☆251Updated 4 months ago
- Library of utilities for tagless final encoded algebras☆321Updated 2 weeks ago
- A self documenting DSL built on http4s☆293Updated last week
- better implicit errors for scala☆371Updated 2 months ago
- A small library for converting between case classes.☆267Updated last year
- Type-level & seamless command-line argument parsing for Scala☆302Updated last month
- A small companion to cats☆375Updated 2 weeks ago
- Yet another Typesafe config Scala wrapper powered by circe☆126Updated last week
- Automatic type class derivation for Cats☆543Updated 2 weeks ago
- Scalafmt SBT plugin☆148Updated 5 years ago
- Fast & Functional logger in Scala☆315Updated 10 months ago
- functional tracing for cats☆330Updated last week
- Seamless interop layer between cats and scalaz☆174Updated 4 years ago
- Freek, a freaky simple Free to combine your DSL seamlessly☆197Updated 8 years ago
- Scala library for boilerplate-free validation☆150Updated last year
- Operations for primitive and String singleton types☆163Updated 10 months ago
- Grafter is a library to configure and wire Scala applications☆237Updated 6 years ago
- Spire's macros for zero-cost operator enrichment☆191Updated 5 years ago
- The super light testing library for Scala and Scala.js☆180Updated 10 months ago
- Typechecked markdown documentation for Scala☆402Updated 3 weeks ago
- sbt-plugin to create an opinionated fresh sbt project☆233Updated 10 months ago
- Syntactic sugar for monad composition in Scala☆279Updated 10 months ago
- Pleasant, yet principled Scala optics DSL☆196Updated 4 years ago
- Birds and cats together☆139Updated 2 weeks ago
- scalac options for the enlightened☆402Updated 2 weeks ago
- Efficient CBOR and JSON (de)serialization in Scala☆235Updated last month