typelevel / discipline
Flexible law checking for Scala
☆331Updated this week
Alternatives and similar repositories for discipline:
Users that are interested in discipline are comparing it to the libraries listed below
- cats transformer type classes.☆311Updated this week
- Generation of arbitrary case classes / ADTs instances with scalacheck and shapeless☆239Updated 5 months ago
- friendly little parsers☆360Updated 5 months ago
- Statically-checked string interpolation in Scala☆251Updated this week
- Functional Configurations for Scala☆402Updated this week
- better implicit errors for scala☆371Updated 3 months ago
- Library of utilities for tagless final encoded algebras☆320Updated this week
- Type-level & seamless command-line argument parsing for Scala☆296Updated 2 weeks ago
- A small library for converting between case classes.☆268Updated last year
- A self documenting DSL built on http4s☆294Updated this week
- Operations for primitive and String singleton types☆163Updated 5 months ago
- Scala/Scala.js library for manipulating Fancy Ansi colored strings☆229Updated 2 weeks ago
- Pleasant, yet principled Scala optics DSL☆197Updated 4 years ago
- Birds and cats together☆139Updated this week
- functional tracing for cats☆330Updated this week
- The super light testing library for Scala and Scala.js☆179Updated 5 months ago
- Scalafmt SBT plugin☆148Updated 4 years ago
- Purely functional HTTP client☆176Updated last year
- A dimensional analysis library based on dependent types☆199Updated 5 months ago
- Scala compiler plugin for warning suppression☆255Updated last week
- sbt-header is an sbt plugin for creating file headers, e.g. copyright headers☆186Updated 5 months ago
- Functional type classes for Scala☆184Updated 9 years ago
- Cross-platform compilation support for sbt.☆239Updated 3 months ago
- Spire's macros for zero-cost operator enrichment☆190Updated 5 years ago
- Automatic type class derivation for Cats☆538Updated this week
- Http Server and client using fs2☆136Updated 2 years ago
- Syntactic sugar for monad composition in Scala☆279Updated 5 months ago
- Yet another Typesafe config Scala wrapper powered by circe☆123Updated this week
- Scala library for boilerplate-free validation☆149Updated 7 months ago
- giter8 template for bootstrapping http4s services☆116Updated this week