typelevel / discipline
Flexible law checking for Scala
☆330Updated 2 weeks ago
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 last month
- Statically-checked string interpolation in Scala☆251Updated 2 months ago
- better implicit errors for scala☆371Updated 2 months ago
- friendly little parsers☆359Updated 8 months ago
- Generation of arbitrary case classes / ADTs instances with scalacheck and shapeless☆239Updated 8 months ago
- Library of utilities for tagless final encoded algebras☆320Updated last week
- A self documenting DSL built on http4s☆294Updated 2 weeks ago
- A small library for converting between case classes.☆267Updated last year
- Functional Configurations for Scala☆405Updated this week
- Type-level & seamless command-line argument parsing for Scala☆300Updated last month
- Fast & Functional logger in Scala☆315Updated 8 months ago
- functional tracing for cats☆331Updated last week
- sbt-header is an sbt plugin for creating file headers, e.g. copyright headers☆186Updated 8 months ago
- Syntactic sugar for monad composition in Scala☆280Updated 8 months ago
- Scalafmt SBT plugin☆148Updated 4 years ago
- Yet another Typesafe config Scala wrapper powered by circe☆125Updated 3 weeks ago
- Seamless interop layer between cats and scalaz☆174Updated 4 years ago
- Automatic type class derivation for Cats☆541Updated last month
- Freek, a freaky simple Free to combine your DSL seamlessly☆198Updated 8 years ago
- A small companion to cats☆374Updated last month
- Functional type classes for Scala☆184Updated 10 years ago
- A dimensional analysis library based on dependent types☆198Updated 8 months ago
- Spire's macros for zero-cost operator enrichment☆191Updated 5 years ago
- Pleasant, yet principled Scala optics DSL☆196Updated 4 years ago
- Scala/Scala.js library for manipulating Fancy Ansi colored strings☆231Updated 3 months ago
- Birds and cats together☆140Updated last month
- Scala library for boilerplate-free validation☆150Updated 9 months ago
- Http Server and client using fs2☆137Updated 3 years ago
- gRPC implementation for FS2/cats-effect☆277Updated this week
- Typechecked markdown documentation for Scala☆399Updated this week