typelevel / disciplineLinks
Flexible law checking for Scala
☆334Updated last week
Alternatives and similar repositories for discipline
Users that are interested in discipline are comparing it to the libraries listed below
Sorting:
- friendly little parsers☆358Updated last year
- cats transformer type classes.☆311Updated this week
- Generation of arbitrary case classes / ADTs instances with scalacheck and shapeless☆238Updated last year
- better implicit errors for scala☆373Updated 3 weeks ago
- A self documenting DSL built on http4s☆294Updated last week
- Statically-checked string interpolation in Scala☆251Updated last year
- Functional Configurations for Scala☆409Updated this week
- Library of utilities for tagless final encoded algebras☆323Updated last week
- Acyclic is a Scala compiler plugin to let you prohibit circular dependencies between files☆252Updated last month
- Type-level & seamless command-line argument parsing for Scala☆306Updated last week
- Syntactic sugar for monad composition in Scala☆279Updated last year
- Birds and cats together☆140Updated 3 weeks ago
- A GitHub API wrapper written in Scala☆230Updated 9 months ago
- A small library for converting between case classes.☆265Updated 2 years ago
- Yet another Typesafe config Scala wrapper powered by circe☆127Updated last week
- Pleasant, yet principled Scala optics DSL☆196Updated 5 years ago
- Automatic type class derivation for Cats☆546Updated last week
- A small companion to cats☆376Updated this week
- Purely functional HTTP client☆176Updated 2 years ago
- Scala/Scala.js library for manipulating Fancy Ansi colored strings☆232Updated 3 months ago
- A helping hand for generating sensible data with ScalaCheck☆119Updated 4 months ago
- Jawn is for parsing jay-sawn (JSON)☆436Updated this week
- Http Server and client using fs2☆138Updated 5 months ago
- Spire's macros for zero-cost operator enrichment☆190Updated 6 years ago
- Scala library for boilerplate-free validation☆152Updated last year
- The super light testing library for Scala and Scala.js☆181Updated last year
- recursion schemes for cats; to iterate is human, to recurse, divine☆396Updated 4 months ago
- Statically-checked inline matching on regular expressions in Scala☆168Updated last year
- A dimensional analysis library based on dependent types☆199Updated last year
- A ZIO library for building distributed systems☆199Updated last year