typelevel / disciplineLinks
Flexible law checking for Scala
☆333Updated 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 11 months ago
- cats transformer type classes.☆310Updated last week
- Generation of arbitrary case classes / ADTs instances with scalacheck and shapeless☆238Updated 11 months ago
- A self documenting DSL built on http4s☆293Updated this week
- Library of utilities for tagless final encoded algebras☆321Updated this week
- better implicit errors for scala☆371Updated 3 weeks ago
- Type-level & seamless command-line argument parsing for Scala☆303Updated 2 months ago
- Statically-checked string interpolation in Scala☆251Updated 6 months ago
- Syntactic sugar for monad composition in Scala☆279Updated 11 months ago
- A small library for converting between case classes.☆267Updated last year
- Acyclic is a Scala compiler plugin to let you prohibit circular dependencies between files☆251Updated 5 months ago
- Functional Configurations for Scala☆405Updated last week
- Birds and cats together☆139Updated last week
- Scala/Scala.js library for manipulating Fancy Ansi colored strings☆231Updated 2 weeks ago
- Spire's macros for zero-cost operator enrichment☆191Updated 5 years ago
- Statically-checked inline matching on regular expressions in Scala☆166Updated 6 months ago
- A GitHub API wrapper written in Scala☆229Updated 3 months ago
- Scala library for boilerplate-free validation☆150Updated last year
- A ZIO library for building distributed systems☆199Updated 11 months ago
- Implementation of the new Scala 2.13 Collections☆199Updated 6 years ago
- Automatic type class derivation for Cats☆543Updated last week
- Freek, a freaky simple Free to combine your DSL seamlessly☆197Updated 8 years ago
- Purely functional HTTP client☆174Updated 2 years ago
- Pleasant, yet principled Scala optics DSL☆196Updated 4 years ago
- Http Server and client using fs2☆137Updated 3 years ago
- sbt-plugin to create an opinionated fresh sbt project☆233Updated 11 months ago
- Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2☆331Updated this week
- A dimensional analysis library based on dependent types☆199Updated 11 months ago
- Yet another Typesafe config Scala wrapper powered by circe☆126Updated this week
- sbt plugin to show a summary of compilation messages.☆200Updated 4 years ago