All Projects → typelevel → Discipline

typelevel / Discipline

Licence: mit
Flexible law checking for Scala

Programming Languages

scala
5932 projects

Projects that are alternatives of or similar to Discipline

extrapolate
generalize counter-examples of property-based testing
Stars: ✭ 13 (-95.45%)
Mutual labels:  property-based-testing
http4s-dom
http4s, in a browser near you
Stars: ✭ 13 (-95.45%)
Mutual labels:  typelevel
swagger-test
Property based testing tool for Swagger APIs
Stars: ✭ 32 (-88.81%)
Mutual labels:  property-based-testing
pbt-frameworks
An overview of property-based testing functionality
Stars: ✭ 29 (-89.86%)
Mutual labels:  property-based-testing
runtypes-generate
Transform runtypes type to jsverify arbitrary for generate sample of data
Stars: ✭ 39 (-86.36%)
Mutual labels:  property-based-testing
alphabet-soup
Type calculations at compile time
Stars: ✭ 40 (-86.01%)
Mutual labels:  typelevel
clausejs
Write contract once. Get data & function validators & conformers, an accurate & readable project contract, auto-generated API documentation, generative test coverage, plus more. A tool that enables a more predictable workflow for developing your JavaScript projects.
Stars: ✭ 29 (-89.86%)
Mutual labels:  property-based-testing
Scalaprops
property based testing library for Scala
Stars: ✭ 262 (-8.39%)
Mutual labels:  property-based-testing
snabbkaffe
Collection of utilities for trace-based testing
Stars: ✭ 35 (-87.76%)
Mutual labels:  property-based-testing
swagger-conformance
Python based tool for testing whether your API conforms to its Swagger schema
Stars: ✭ 51 (-82.17%)
Mutual labels:  property-based-testing
hypothesis-gufunc
Extension to hypothesis for testing numpy general universal functions
Stars: ✭ 32 (-88.81%)
Mutual labels:  property-based-testing
jsf
Creates fake JSON files from a JSON schema
Stars: ✭ 46 (-83.92%)
Mutual labels:  property-based-testing
fixture-monkey
Let Fixture Monkey generate test instances including edge cases automatically
Stars: ✭ 177 (-38.11%)
Mutual labels:  property-based-testing
txstate
An effort to statically type xstate
Stars: ✭ 64 (-77.62%)
Mutual labels:  typelevel
Fable.Jester
Fable bindings for jest and friends for delightful Fable testing.
Stars: ✭ 28 (-90.21%)
Mutual labels:  property-based-testing
http4s-modules
Web modules built on Http4s
Stars: ✭ 31 (-89.16%)
Mutual labels:  typelevel
leancheck
enumerative property-based testing for Haskell
Stars: ✭ 38 (-86.71%)
Mutual labels:  property-based-testing
Propcheck
Property based Testing for Elixir (based upon PropEr)
Stars: ✭ 272 (-4.9%)
Mutual labels:  property-based-testing
Henkan
A small library for converting between case classes.
Stars: ✭ 262 (-8.39%)
Mutual labels:  typelevel
fib-anyon
An implementation of Fibonacci Anyons in Haskell
Stars: ✭ 18 (-93.71%)
Mutual labels:  typelevel

discipline

Join the chat at https://gitter.im/typelevel/discipline Continuous Integration

Flexible law checking for Scala

Usage

This library is currently available for Scala binary versions 2.11, 2.12, and 2.13.

To use the latest version, include the following in your build.sbt:

libraryDependencies +=
  "org.typelevel" %% "discipline-core" % "1.0.0"

For a little more info see the "Law Enforcement using Discipline" blog post.

Binding to test frameworks

Discipline is built against ScalaCheck 1.14.x. There is also a published artifact for scala.js.

discipline-core is required early each Scala release cycle, so we have chosen to keep this repo minimal. Starting with v1.0.0, please find the framework bindings in their new locations:

Code of Conduct

See the Code of Conduct

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].