typelevel / Discipline
Licence: mit
Flexible law checking for Scala
Stars: ✭ 286
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
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
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
Fable.Jester
Fable bindings for jest and friends for delightful Fable testing.
Stars: ✭ 28 (-90.21%)
Mutual labels: property-based-testing
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
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].