typelevel / disciplineLinks
Flexible law checking for Scala
☆335Updated 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
- Type-level & seamless command-line argument parsing for Scala☆308Updated 3 weeks ago
- A self documenting DSL built on http4s☆293Updated this week
- Generation of arbitrary case classes / ADTs instances with scalacheck and shapeless☆238Updated last year
- cats transformer type classes.☆311Updated this week
- Scala/Scala.js library for manipulating Fancy Ansi colored strings☆231Updated 3 weeks ago
- Birds and cats together☆139Updated 2 weeks ago
- Library of utilities for tagless final encoded algebras☆321Updated this week
- better implicit errors for scala☆371Updated 2 months ago
- Yet another Typesafe config Scala wrapper powered by circe☆126Updated this week
- A small library for converting between case classes.☆266Updated last year
- A GitHub API wrapper written in Scala☆230Updated 4 months ago
- Statically-checked string interpolation in Scala☆251Updated 7 months ago
- Functional Configurations for Scala☆405Updated this week
- Scala library for boilerplate-free validation☆150Updated last year
- Seamless interop layer between cats and scalaz☆175Updated 4 years ago
- A dimensional analysis library based on dependent types☆199Updated last year
- Acyclic is a Scala compiler plugin to let you prohibit circular dependencies between files☆250Updated 3 weeks ago
- Random Data Generation and/or Property Testing in Scala & Scala.JS.☆186Updated last year
- Purely functional HTTP client☆175Updated 2 years ago
- Syntactic sugar for monad composition in Scala☆279Updated last year
- Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2☆332Updated this week
- Implementation of the new Scala 2.13 Collections☆199Updated 6 years ago
- Cross-platform compilation support for sbt.☆241Updated 10 months ago
- Statically-checked inline matching on regular expressions in Scala☆166Updated 7 months ago
- Http Server and client using fs2☆137Updated 2 weeks ago
- Automatic type class derivation for Cats☆544Updated this week
- Efficient CBOR and JSON (de)serialization in Scala☆237Updated 2 months ago
- Freek, a freaky simple Free to combine your DSL seamlessly☆197Updated 8 years ago
- Spire's macros for zero-cost operator enrichment☆191Updated 5 years ago