Topic: "quickcheck"
dubzzz/fast-check
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
Language: TypeScript - Size: 43.1 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 4,543 - Forks: 190
typelift/SwiftCheck
QuickCheck for Swift
Language: Swift - Size: 1.55 MB - Last synced at: 24 days ago - Pushed at: about 3 years ago - Stars: 1,416 - Forks: 107
fscheck/FsCheck
Random Testing for .NET
Language: F# - Size: 17 MB - Last synced at: 6 days ago - Pushed at: 19 days ago - Stars: 1,183 - Forks: 162
pholser/junit-quickcheck
Property-based testing, JUnit-style
Language: Java - Size: 17.5 MB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 966 - Forks: 123
whatyouhide/stream_data
Data generation and property-based testing for Elixir. 🔮
Language: Elixir - Size: 521 KB - Last synced at: 2 days ago - Pushed at: 4 days ago - Stars: 902 - Forks: 71
hspec/hspec
A Testing Framework for Haskell
Language: Haskell - Size: 4.78 MB - Last synced at: 24 days ago - Pushed at: 2 months ago - Stars: 773 - Forks: 106
rohanpadhye/JQF
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Language: Java - Size: 5.27 MB - Last synced at: about 5 hours ago - Pushed at: about 1 month ago - Stars: 704 - Forks: 118
hedgehogqa/haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
Language: Haskell - Size: 958 KB - Last synced at: about 21 hours ago - Pushed at: 3 months ago - Stars: 687 - Forks: 107
UnkindPartition/tasty
Modern and extensible testing framework for Haskell
Language: Haskell - Size: 921 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 651 - Forks: 111
flyingmutant/rapid
Rapid is a modern Go property-based testing library
Language: Go - Size: 438 KB - Last synced at: 6 days ago - Pushed at: 27 days ago - Stars: 643 - Forks: 28
jqwik-team/jqwik
Property-Based Testing on the JUnit Platform
Language: Java - Size: 24 MB - Last synced at: 3 days ago - Pushed at: 13 days ago - Stars: 602 - Forks: 64
quicktheories/QuickTheories
Property based testing for Java 8
Language: Java - Size: 493 KB - Last synced at: 22 days ago - Pushed at: over 4 years ago - Stars: 510 - Forks: 50
c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
Language: OCaml - Size: 3.17 MB - Last synced at: 4 days ago - Pushed at: 20 days ago - Stars: 374 - Forks: 43
rantly-rb/rantly
Ruby Imperative Random Data Generator and Quickcheck
Language: Ruby - Size: 7.28 MB - Last synced at: 1 day ago - Pushed at: 8 months ago - Stars: 280 - Forks: 21
hedgehogqa/fsharp-hedgehog
Release with confidence, state-of-the-art property testing for .NET.
Language: F# - Size: 3.73 MB - Last synced at: 25 days ago - Pushed at: 2 months ago - Stars: 276 - Forks: 30
advancedtelematic/quickcheck-state-machine 📦
Test monadic programs using state machine based models
Language: Haskell - Size: 2.71 MB - Last synced at: 14 days ago - Pushed at: about 4 years ago - Stars: 204 - Forks: 25
AnthonyLloyd/CsCheck
Random testing library for C#
Language: C# - Size: 1.24 MB - Last synced at: 5 days ago - Pushed at: 24 days ago - Stars: 179 - Forks: 5
Qqwy/ruby-prop_check
Property Testing library in Ruby
Language: Ruby - Size: 340 KB - Last synced at: 28 days ago - Pushed at: 3 months ago - Stars: 93 - Forks: 11
Lysxia/generic-random
Generic random generators
Language: Haskell - Size: 285 KB - Last synced at: 16 days ago - Pushed at: over 2 years ago - Stars: 81 - Forks: 6
garbles/kitimat
A library for generative, property-based testing in TypeScript and Jest.
Language: TypeScript - Size: 764 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 68 - Forks: 1
jmid/qcstm
A simple state-machine framework for OCaml based on QCheck
Language: OCaml - Size: 41 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 66 - Forks: 6
jmid/pbt-frameworks
An overview of property-based testing functionality
Size: 40 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 61 - Forks: 3
Wilfred/propcheck
Quickcheck/hypothesis style testing for elisp
Language: Emacs Lisp - Size: 106 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 59 - Forks: 2
DalekBaldwin/check-it
Randomized specification-based testing for Common Lisp. Available through Quicklisp.
Language: Common Lisp - Size: 221 KB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 51 - Forks: 10
gampleman/quick_check.js
A JS implementation of quick_check
Language: CoffeeScript - Size: 541 KB - Last synced at: about 12 hours ago - Pushed at: about 5 years ago - Stars: 46 - Forks: 2
dubzzz/ava-fast-check 📦
Property based testing for AVA based on fast-check
Language: JavaScript - Size: 259 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 44 - Forks: 4
ocaml-multicore/multicoretests
PBT testsuite and libraries for testing multicore OCaml
Language: OCaml - Size: 3.37 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 40 - Forks: 16
dubzzz/fuzz-rest-api
Derive property based testing fast-check into a fuzzer for REST APIs
Language: JavaScript - Size: 63.5 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 39 - Forks: 6
jmid/efftester
Effect-Driven Compiler Tester for OCaml
Language: OCaml - Size: 29.3 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 38 - Forks: 5
NorfairKing/easyspec
Signature inference for Functional Property Discovery in Haskell
Language: Haskell - Size: 1.18 MB - Last synced at: 19 days ago - Pushed at: almost 8 years ago - Stars: 38 - Forks: 2
lukeg101/lplzoo
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Language: Haskell - Size: 1.96 MB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 36 - Forks: 2
1Jajen1/propCheck
Property based testing for kotlintest ported from quickcheck
Language: Kotlin - Size: 627 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 33 - Forks: 1
ifigueroap/racket-quickcheck
Quickcheck Clone implemented in Racket
Language: Racket - Size: 780 KB - Last synced at: 1 day ago - Pushed at: 11 months ago - Stars: 31 - Forks: 16
input-output-hk/quickcheck-dynamic
A library for stateful property-based testing
Language: Haskell - Size: 464 KB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 30 - Forks: 9
lycantropos/hypothesis_sqlalchemy
hypothesis strategies for generating SQLAlchemy objects
Language: Python - Size: 202 KB - Last synced at: 16 days ago - Pushed at: over 2 years ago - Stars: 29 - Forks: 9
regex-generate/regenerate
Tool to generate test-cases for regular expression engines
Language: OCaml - Size: 1.5 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 28 - Forks: 3
dubzzz/fast-check-examples
Property based testing (QuickCheck) examples based on fast-check
Language: JavaScript - Size: 147 KB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 26 - Forks: 4
maximkulkin/hypothesis-regex
Hypothesis extension to allow generating strings based on regex
Language: Python - Size: 14.6 KB - Last synced at: 24 days ago - Pushed at: over 6 years ago - Stars: 26 - Forks: 2
hychen/ke-e
假的 (ké--ê) is a property-based testing library, inspired by QuickCheck, Hypothesis, JSVerify and faker.js.
Language: TypeScript - Size: 2.1 MB - Last synced at: 4 days ago - Pushed at: about 8 years ago - Stars: 26 - Forks: 1
pointfreeco/swift-quickcheck
🏁 An implementation of QuickCheck in Swift.
Language: Swift - Size: 16.6 KB - Last synced at: about 8 hours ago - Pushed at: almost 5 years ago - Stars: 24 - Forks: 2
keera-studios/haskell-titan
Testing Infrastructure for Temporal AbstractioNs
Language: Haskell - Size: 578 KB - Last synced at: 10 days ago - Pushed at: almost 5 years ago - Stars: 23 - Forks: 0
nicoabie/quickcheck
Randomized testing for Prolog à la QuickCheck
Language: Prolog - Size: 72.3 KB - Last synced at: 8 days ago - Pushed at: almost 6 years ago - Stars: 23 - Forks: 1
pkalikman/Checkers.jl
QuickCheck-like automated testing for Julia
Language: Julia - Size: 490 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 21 - Forks: 4
alonsodomin/haskell-schema
A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
Language: Haskell - Size: 116 KB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 20 - Forks: 0
tamarit/edd
Erlang Declarative Debugger
Language: Erlang - Size: 5.3 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 20 - Forks: 4
jmid/wasm-prop-tester
A stack-driven generator of arbitrary WebAssembly programs
Language: OCaml - Size: 322 KB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 19 - Forks: 2
Lysxia/quickcheck-higherorder
QuickCheck extension for higher-order properties
Language: Haskell - Size: 80.1 KB - Last synced at: 18 days ago - Pushed at: over 3 years ago - Stars: 18 - Forks: 1
msoedov/quick.py
Property-based testing library for Python
Language: Python - Size: 56.6 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 3
jakoschiko/dicetest
Framework for writing tests with randomly generated test data
Language: Rust - Size: 549 KB - Last synced at: 16 days ago - Pushed at: 9 months ago - Stars: 14 - Forks: 0
hauleth/stream_state
Stateful generative testing for Elixir implemented on top of StreamData
Language: Elixir - Size: 25.4 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 13 - Forks: 0
lycantropos/hypothesis_geometry
`hypothesis` strategies for geometries
Language: Python - Size: 721 KB - Last synced at: 21 days ago - Pushed at: about 2 years ago - Stars: 12 - Forks: 0
schneiderfelipe/quickcheck 📦
🩺 Effortless property-based, type-based testing for Nim.
Language: Nim - Size: 39.1 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 12 - Forks: 1
jmid/qc-ptrees
A model-based QuickCheck test of ptrees (Patricia trees)
Language: OCaml - Size: 113 KB - Last synced at: 3 months ago - Pushed at: almost 6 years ago - Stars: 12 - Forks: 2
Quviq/QuickCheckExamples
Example QuickCheck models
Language: Erlang - Size: 12.7 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 12 - Forks: 2
MartinNowak/qcheck
QuickCheck like test library
Language: D - Size: 188 KB - Last synced at: 1 day ago - Pushed at: over 7 years ago - Stars: 8 - Forks: 1
SophieBosio/contra
A friendly functional language for finding counterexamples 🎯
Language: Haskell - Size: 1000 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 7 - Forks: 0
trollaklass/troll-of-fame-java
Java code for the Troll Aklass workshop on Property Based Tests
Language: Java - Size: 224 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 2
Liqwid-Labs/plutarch-quickcheck 📦
Pain-free QuickCheck helpers for Plutarch
Language: Haskell - Size: 393 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 4
advancedtelematic/quickcheck-state-machine-distributed 📦
Test monadic programs using state machine based models
Language: Haskell - Size: 72.3 KB - Last synced at: 12 days ago - Pushed at: about 7 years ago - Stars: 6 - Forks: 0
Cotel/AVD
A repository for backing up and sharing AVD exercises
Language: Haskell - Size: 16.6 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 0
jmid/luata-quickcheck
Lua type analysis and corresponding QuickCheck code
Language: HTML - Size: 1.93 MB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 1
jmid/lcheck
A library for quickchecking lattice modules and associated operations
Language: OCaml - Size: 164 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 3
MortalFlesh/bulletproof
[WIP] QuickCheck like PHP library for easier property based testing
Language: PHP - Size: 15.6 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0
minad/quickcheck-special
Edge cases and special values for QuickCheck Arbitrary instances
Language: Haskell - Size: 27.3 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 5 - Forks: 0
briansunter/haskell-supermemo
An implementation of the supermemo 2 flash card spaced repetition algorithm.
Language: Haskell - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 5 - Forks: 1
mattaudesse/haskell-99-problems
Ninety-Nine Haskell Problems
Language: Haskell - Size: 26.4 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 5 - Forks: 1
jeffh/check.statem
Facilities for generating test programs using state machines.
Language: Clojure - Size: 184 KB - Last synced at: 6 days ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 0
panicbit/quickcheck_derive
Derives quickcheck traits
Language: Rust - Size: 19.5 KB - Last synced at: about 4 hours ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 4
persimmon-projects/Persimmon.Dried
Random testing for Persimmon
Language: F# - Size: 1.24 MB - Last synced at: 4 days ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 3
Centril/proptest-quickcheck-interop
Provides an interoperability layer for reuse of quickcheck::Arbitrary impls in proptest
Language: Rust - Size: 16.6 KB - Last synced at: 5 days ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0
vendethiel/Sixcheck
Quickchecking in Perl6.
Language: Perl6 - Size: 7.81 KB - Last synced at: 3 months ago - Pushed at: almost 9 years ago - Stars: 4 - Forks: 0
jaalonso/FormulasYpolinomios
Sistema certificado de decisión proposicional basado en polinomios.
Language: Haskell - Size: 616 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1
lastmjs/guesswork
Framework for property-based testing in JavaScript, TypeScript, JSX, and TSX.
Language: TypeScript - Size: 307 KB - Last synced at: 4 days ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0
dubzzz/jsverify-commands
Bring commands to JSVerify property-based testing framework
Language: JavaScript - Size: 78.1 KB - Last synced at: 9 days ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 1
Centril/proptest-derive
Custom-derive for the Arbitrary trait of proptest.
Language: Rust - Size: 65.4 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0
mattaudesse/haskellbook-exercises
Haskell Book Exercises
Language: Haskell - Size: 6.84 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 3 - Forks: 0
skhoroshavin/qcc
QuickCheck for C
Language: C - Size: 150 KB - Last synced at: 4 months ago - Pushed at: about 8 years ago - Stars: 3 - Forks: 0
x-sheep/swift-property-based
Property-based testing for Swift 6
Language: Swift - Size: 121 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2 - Forks: 0
NicolasT/hedgehog-stateful-demo
A demonstration of stateful systems testing using Hedgehog
Language: Haskell - Size: 35.2 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
honzabrecka/rapid-check
Yet another implementation of property based testing framework
Language: JavaScript - Size: 646 KB - Last synced at: 15 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
ruanmartinelli/property-based-testing-patterns
property-based testing patterns examples
Language: JavaScript - Size: 1020 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
waynevanson/fp-ts-quickcheck
fp-ts but QuickCheck (partial port)
Language: TypeScript - Size: 1.75 MB - Last synced at: 3 days ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0
the-dr-lazy/purescript-quickcheck-state-machine Fork of meeshkan/purescript-quickcheck-mbt
Test monadic PureScript programs using state machine based models
Language: PureScript - Size: 52.7 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0
kappelmann/SpecCheck 📦
QuickCheck-like testing framework for Isabelle/ML
Language: Standard ML - Size: 268 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
tmcgilchrist/ocaml-jack
QuickCheck with shrinking for free
Language: OCaml - Size: 60.5 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
static-clouds/sudoku-sat
A sudoku solver, using SAT
Language: Haskell - Size: 60.5 KB - Last synced at: 6 days ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0
datashaman/phpcheck
PHP implementation of Haskell's QuickCheck.
Language: PHP - Size: 1.16 MB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 0
wespl/haskell-testing-lecture
To be used for the lecture about testing in Haskell
Language: Haskell - Size: 5.86 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 1
dfordivam/reflex-type-simplify
Use Hedgehog (like QuickCheck) to simplify types (and life) when using reflex-frp
Language: Haskell - Size: 8.79 KB - Last synced at: 2 days ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0
jonathanknowles/quickcheck-monoid-subclasses
Support for testing instances of classes defined in the monoid-subclasses library.
Language: Haskell - Size: 3.22 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 1 - Forks: 1
jonathanknowles/quickcheck-groups
QuickCheck support for testing instances of classes defined in the groups library.
Language: Haskell - Size: 413 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 1 - Forks: 1
jonathanknowles/monoidmap-quickcheck
QuickCheck support for the monoidmap package.
Language: Haskell - Size: 96.7 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
grimerssy/prop-test
Formattable proptest macro
Language: Rust - Size: 10.7 KB - Last synced at: 13 days ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0
hpi-swa-teaching/SqueakCheck
SqueakCheck
Language: Smalltalk - Size: 376 KB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
athanclark/quickcheck-combinators
type-level combinators for quickcheck instances
Language: Haskell - Size: 17.6 KB - Last synced at: 23 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1
spamegg1/haskell-prog
Working through the book "Get Programming with Haskell" by Will Kurt
Language: Haskell - Size: 2.64 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
ariady-putra/haskell-security-check-test
Haskell unit testing using HUnit and QuickCheck
Language: Haskell - Size: 1.95 KB - Last synced at: 8 days ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
sambacha/forge-threat-user
Contracts for simulating and re-creating exploits
Language: Solidity - Size: 13.7 KB - Last synced at: 6 days ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
suchapalaver/newsletter
newsletter learning project based on the actix-web framework
Language: Rust - Size: 163 KB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
alemoraru/input-expression-generators
Code corresponding to a research paper tackling the issue of checking interpreter equivalence using property-based testing frameworks.
Language: Haskell - Size: 200 KB - Last synced at: 5 days ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
