typelevel / discipline
Flexible law checking for Scala
☆332Updated 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.☆309Updated this week
- Functional Configurations for Scala☆404Updated last week
- better implicit errors for scala☆371Updated last month
- Library of utilities for tagless final encoded algebras☆319Updated this week
- A self documenting DSL built on http4s☆294Updated last month
- Statically-checked string interpolation in Scala☆251Updated last month
- Automatic type class derivation for Cats☆539Updated this week
- A small library for converting between case classes.☆267Updated last year
- Generation of arbitrary case classes / ADTs instances with scalacheck and shapeless☆238Updated 6 months ago
- friendly little parsers☆359Updated 6 months ago
- Birds and cats together☆139Updated this week
- A small companion to cats☆373Updated this week
- Scalafmt SBT plugin☆148Updated 4 years ago
- Type-level & seamless command-line argument parsing for Scala☆297Updated this week
- Scala/Scala.js library for manipulating Fancy Ansi colored strings☆228Updated last month
- Pleasant, yet principled Scala optics DSL☆196Updated 4 years ago
- functional tracing for cats☆330Updated this week
- Operations for primitive and String singleton types☆163Updated 6 months ago
- Syntactic sugar for monad composition in Scala☆279Updated 6 months ago
- Implementation of the new Scala 2.13 Collections☆199Updated 6 years ago
- Yet another Typesafe config Scala wrapper powered by circe☆124Updated last week
- Good advice for Scala compiler errors☆312Updated 5 years ago
- NewTypes for Scala with no runtime overhead☆544Updated 3 years ago
- A ZIO library for building distributed systems☆199Updated 5 months ago
- Typechecked markdown documentation for Scala☆398Updated this week
- Fast & Functional logger in Scala☆315Updated 6 months ago
- gRPC implementation for FS2/cats-effect☆275Updated this week
- Statically-checked inline matching on regular expressions in Scala☆166Updated last month
- Seamless interop layer between cats and scalaz☆174Updated 4 years ago
- Purely functional HTTP client☆175Updated 2 years ago