typelevel / disciplineLinks
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
Sorting:
- cats transformer type classes.☆310Updated this week
- Generation of arbitrary case classes / ADTs instances with scalacheck and shapeless☆239Updated 9 months ago
- Statically-checked string interpolation in Scala☆251Updated 4 months ago
- better implicit errors for scala☆371Updated last month
- Type-level & seamless command-line argument parsing for Scala☆300Updated 2 weeks ago
- Functional Configurations for Scala☆405Updated this week
- friendly little parsers☆359Updated 9 months ago
- A small library for converting between case classes.☆267Updated last year
- Birds and cats together☆140Updated this week
- A self documenting DSL built on http4s☆294Updated this week
- Library of utilities for tagless final encoded algebras☆320Updated last week
- sbt-header is an sbt plugin for creating file headers, e.g. copyright headers☆186Updated 9 months ago
- Fast & Functional logger in Scala☆315Updated 9 months ago
- Pleasant, yet principled Scala optics DSL☆196Updated 4 years ago
- Scala/Scala.js library for manipulating Fancy Ansi colored strings☆231Updated this week
- A ZIO library for building distributed systems☆199Updated 9 months ago
- Yet another Typesafe config Scala wrapper powered by circe☆126Updated 3 weeks ago
- Spire's macros for zero-cost operator enrichment☆191Updated 5 years ago
- functional tracing for cats☆331Updated this week
- Syntactic sugar for monad composition in Scala☆280Updated 9 months ago
- The super light testing library for Scala and Scala.js☆180Updated 9 months ago
- Automatic type class derivation for Cats☆542Updated this week
- recursion schemes for cats; to iterate is human, to recurse, divine☆390Updated this week
- Iteratees for Cats☆183Updated 9 months ago
- Operations for primitive and String singleton types☆163Updated 9 months ago
- giter8 template for bootstrapping http4s services☆118Updated last week
- NewTypes for Scala with no runtime overhead☆543Updated 3 years ago
- Seamless interop layer between cats and scalaz☆174Updated 4 years ago
- Statically-checked inline matching on regular expressions in Scala☆166Updated 4 months ago
- Composable, purely functional healthchecks in Scala.☆185Updated 9 months ago