typelevel / discipline
Flexible law checking for Scala
☆328Updated this week
Related projects: ⓘ
- cats transformer type classes.☆307Updated this week
- friendly little parsers☆358Updated last month
- better implicit errors for scala☆370Updated 4 months ago
- Generation of arbitrary case classes / ADTs instances with scalacheck and shapeless☆239Updated last month
- Statically-checked string interpolation in Scala☆251Updated this week
- Functional Configurations for Scala☆402Updated last week
- A self documenting DSL built on http4s☆295Updated this week
- Scala/Scala.js library for manipulating Fancy Ansi colored strings☆226Updated last week
- Type-level & seamless command-line argument parsing for Scala☆296Updated 3 weeks ago
- Library of utilities for tagless final encoded algebras☆315Updated this week
- Pleasant, yet principled Scala optics DSL☆196Updated 3 years ago
- functional tracing for cats☆323Updated this week
- sbt-header is an sbt plugin for creating file headers, e.g. copyright headers☆187Updated last month
- A small library for converting between case classes.☆268Updated 11 months ago
- Scalafmt SBT plugin☆149Updated 4 years ago
- Freek, a freaky simple Free to combine your DSL seamlessly☆198Updated 7 years ago
- gRPC implementation for FS2/cats-effect☆270Updated this week
- Cross-platform compilation support for sbt.☆236Updated 3 weeks ago
- Spire's macros for zero-cost operator enrichment☆189Updated 4 years ago
- Fast & Functional logger in Scala☆311Updated last month
- A ZIO library for building distributed systems☆199Updated 2 weeks ago
- Syntactic sugar for monad composition in Scala☆279Updated last month
- A small companion to cats☆366Updated this week
- Yet another Typesafe config Scala wrapper powered by circe☆121Updated last month
- NewTypes for Scala with no runtime overhead☆540Updated 2 years ago
- Implementation of the new Scala 2.13 Collections☆200Updated 5 years ago
- Statically-checked inline matching on regular expressions in Scala☆165Updated 3 weeks ago
- sbt plugin to show a summary of compilation messages.☆201Updated 3 years ago
- Automatic type class derivation for Cats☆536Updated this week
- Http Server and client using fs2☆135Updated 2 years ago