quickcheck

There are 2 repositories under quickcheck topic.

• fast-check

  dubzzz / fast-check

  Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

  property-based-testingquickchecktypescripttestinggenerative-testingunit-testingtddfuzzingfaker
  Language:TypeScript 4608

• typelift / SwiftCheck

  QuickCheck for Swift

  property-based-testingquickcheckswift
  Language:Swift 1416

• fscheck / FsCheck

  Random Testing for .NET

  fscheckquickcheckfsharpcsharptesting
  Language:F# 1180

• pholser / junit-quickcheck

  Property-based testing, JUnit-style

  junitquickcheckjavaproperty-based-testing
  Language:Java 966

• whatyouhide / stream_data

  Data generation and property-based testing for Elixir. 🔮

  data-generationelixirproperty-based-testingproperty-testingquickcheck
  Language:Elixir 897

• hspec / hspec

  A Testing Framework for Haskell

  haskelltestingquickchecksmallcheckhunit
  Language:Haskell 767
• JQF

  rohanpadhye / JQF

  JQF + Zest: Coverage-guided semantic fuzzing for Java.

  fuzzingjunitquickcheckproperty-based-testingcoverage-guided-fuzzingafl
  Language:Java 696

• hedgehogqa / haskell-hedgehog

  Release with confidence, state-of-the-art property testing for Haskell.

  haskellproperty-based-testingproperty-testingquickchecktesttestingtesting-tools
  Language:Haskell 685

• flyingmutant / rapid

  Rapid is a modern Go property-based testing library

  fuzzinggolangproperty-based-testingproperty-testingquickchecktesting
  Language:Go 674

• UnkindPartition / tasty

  Modern and extensible testing framework for Haskell

  golden-testshaskellhunitquickchecksmallchecktestingunit-testing
  Language:Haskell 648
• jqwik

  jqwik-team / jqwik

  Property-Based Testing on the JUnit Platform

  quickcheckjunitjunit5hacktoberfest
  Language:Java 617

• quicktheories / QuickTheories

  Property based testing for Java 8

  java-8junitproperty-based-testingquickchecktesting
  Language:Java 509

• c-cube / qcheck

  QuickCheck inspired property-based testing for OCaml.

  ocamlquickcheckrandomtestingounitproperty-based-testingalcotestrandom-generatormonadic-interface
  Language:OCaml 368

• rantly-rb / rantly

  Ruby Imperative Random Data Generator and Quickcheck

  minitestproperty-based-testingquickcheckrandomrandomnessrandomness-generationrandomness-testingrspecrubytest-unit
  Language:Ruby 281

• hedgehogqa / fsharp-hedgehog

  Release with confidence, state-of-the-art property testing for .NET.

  csharpdotnetfsharpproperty-based-testingproperty-testingquickchecktesttestingtesting-tools
  Language:F# 276

• advancedtelematic / quickcheck-state-machine

  Test monadic programs using state machine based models

  haskellhaskell-libraryproperty-based-testingquickchecktesting
  Language:Haskell 203
• CsCheck

  AnthonyLloyd / CsCheck

  Random testing library for C#

  quickchecktestingrandomregression-testingperformance-testingconcurrency-testingmodel-based-testingmetamorphic-testingcausal-profilingparallel-testingstateful-testing
  Language:C# 175

• Qqwy / ruby-prop_check

  Property Testing library in Ruby

  property-testingquickcheckrubyproperty-based-testing
  Language:Ruby 91

• Lysxia / generic-random

  Generic random generators

  haskellquickchecktestingrandom-generationgenericsarbitrary
  Language:Haskell 81

• garbles / kitimat

  A library for generative, property-based testing in TypeScript and Jest.

  generative-testingjavascriptjestproperty-based-testingquickchecktestingtypescript
  Language:TypeScript 68

• jmid / qcstm

  A simple state-machine framework for OCaml based on QCheck

  ocamlproperty-based-testingquickcheck
  Language:OCaml 66

• jmid / pbt-frameworks

  An overview of property-based testing functionality

  property-based-testingproperty-testingquickcheck
  59

• Wilfred / propcheck

  Quickcheck/hypothesis style testing for elisp

  emacs-lisphypothesis-testingquickcheck
  Language:Emacs Lisp 58

• DalekBaldwin / check-it

  Randomized specification-based testing for Common Lisp. Available through Quicklisp.

  quickchecktesting
  Language:Common Lisp 54

• gampleman / quick_check.js

  A JS implementation of quick_check

  property-based-testingquickchecktesting
  Language:CoffeeScript 46

• dubzzz / ava-fast-check

  Property based testing for AVA based on fast-check

  avaquickcheckgenerative-testingunit-testingproperty-based-testing
  Language:JavaScript 44

• dubzzz / fuzz-rest-api

  Derive property based testing fast-check into a fuzzer for REST APIs

  fuzzingproperty-based-testingquickcheckfast-checkrest-api
  Language:JavaScript 39

• jmid / efftester

  Effect-Driven Compiler Tester for OCaml

  quickcheckproperty-based-testingocamlcompiler-testing
  Language:OCaml 38

• NorfairKing / easyspec

  Signature inference for Functional Property Discovery in Haskell

  haskellquickcheckproperty-testingquickspec
  Language:Haskell 38

• ocaml-multicore / multicoretests

  PBT testsuite and libraries for testing multicore OCaml

  multicore-ocamlproperty-based-testingproperty-testingquickcheck
  Language:OCaml 38

• lukeg101 / lplzoo

  Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

  lambda-calculushaskell-learninglanguage-designtype-theoryquickcheck
  Language:Haskell 36

• 1Jajen1 / propCheck

  Property based testing for kotlintest ported from quickcheck

  property-based-testingproperty-testingquickcheckkotlinarrow-ktstate-machine-testing
  Language:Kotlin 34

• regex-generate / regenerate

  Tool to generate test-cases for regular expression engines

  regexregular-expressionquickcheckocamltesting
  Language:OCaml 33

• ifigueroap / racket-quickcheck

  Quickcheck Clone implemented in Racket

  quickcheckrackettesting
  Language:Racket 31

• input-output-hk / quickcheck-dynamic

  A library for stateful property-based testing

  haskellmodel-based-testingquickchecktesting-tools
  Language:Haskell 29

• lycantropos / hypothesis_sqlalchemy

  hypothesis strategies for generating SQLAlchemy objects

  hypothesistestingquickchecksqlalchemy
  Language:Python 29