Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: property-based-testing
flyingmutant/rapid
Rapid is a modern Go property-based testing library
Language: Go - Size: 415 KB - Last synced: about 2 hours ago - Pushed: about 3 hours ago - Stars: 543 - Forks: 25
dubzzz/fast-check
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
Language: TypeScript - Size: 35.7 MB - Last synced: about 8 hours ago - Pushed: about 9 hours ago - Stars: 4,129 - Forks: 174
elixir-toniq/norm
Data specification and generation
Language: Elixir - Size: 336 KB - Last synced: about 9 hours ago - Pushed: about 1 year ago - Stars: 681 - Forks: 28
Zac-HD/hypothesis Fork of HypothesisWorks/hypothesis
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
Language: Python - Size: 35.5 MB - Last synced: about 13 hours ago - Pushed: about 14 hours ago - Stars: 2 - Forks: 0
HypothesisWorks/hypothesis
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
Language: Python - Size: 36.1 MB - Last synced: about 18 hours ago - Pushed: about 19 hours ago - Stars: 7,311 - Forks: 570
szktty/kiri-check
Property-based testing for Dart
Language: Dart - Size: 107 KB - Last synced: 1 day ago - Pushed: 2 days ago - Stars: 0 - Forks: 0
hedgehogqa/haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
Language: Haskell - Size: 927 KB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 661 - Forks: 109
ohbarye/pbt
Property-Based Testing tool for Ruby, supporting multiple concurrency methods (Ractor, multiprocesses, multithreads).
Language: Ruby - Size: 172 KB - Last synced: 2 days ago - Pushed: 3 days ago - Stars: 9 - Forks: 0
pfichtner/testtypes
Language: Java - Size: 163 KB - Last synced: 2 days ago - Pushed: 3 days ago - Stars: 0 - Forks: 1
life4/deal
๐ค Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
Language: Python - Size: 1.91 MB - Last synced: 2 days ago - Pushed: about 2 months ago - Stars: 698 - Forks: 24
ghandic/jsf
Creates fake JSON files from a JSON schema
Language: Python - Size: 1.54 MB - Last synced: 4 days ago - Pushed: 5 days ago - Stars: 156 - Forks: 34
scalaprops/scalaprops
property based testing library for Scala
Language: Scala - Size: 1.86 MB - Last synced: 5 days ago - Pushed: 6 days ago - Stars: 275 - Forks: 22
ashkrit/propertytesting
Samples of Property based testing based on scala check
Language: Scala - Size: 36.1 KB - Last synced: 5 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
tonivade/purecheck
Property based testing in Java
Language: Java - Size: 866 KB - Last synced: 5 days ago - Pushed: 5 days ago - Stars: 2 - Forks: 0
whatyouhide/stream_data
Data generation and property-based testing for Elixir. ๐ฎ
Language: Elixir - Size: 424 KB - Last synced: 4 days ago - Pushed: about 1 month ago - Stars: 843 - Forks: 68
scalaprops/scalaprops-cross-example
Cross-platform(JVM, JS, Native) example project of scalaprops
Language: Scala - Size: 90.8 KB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 3 - Forks: 3
yoohaemin/decrel
Composable relations for Scala
Language: Scala - Size: 228 KB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 69 - Forks: 3
Philippus/scala-for-all
:horse: REPLesent-presentatie voor Exception Twente op 16 februari 2017
Language: Scala - Size: 8.45 MB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 0 - Forks: 1
schemathesis/schemathesis
Automate your API Testing: catch crashes, validate specs, and save time
Language: Python - Size: 8.03 MB - Last synced: 11 days ago - Pushed: 13 days ago - Stars: 2,096 - Forks: 145
Seelengrab/Supposition.jl
A Julia implementation of choice sequence based PBT, inspired by Hypothesis
Language: Julia - Size: 1.15 MB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 20 - Forks: 1
j5ik2o/prop-check-rs
A Rust crate for property-based testing.
Language: Rust - Size: 272 KB - Last synced: 11 days ago - Pushed: 11 days ago - Stars: 3 - Forks: 0
gcanti/fp-ts-laws
fp-ts type class laws for property based testing
Language: TypeScript - Size: 148 KB - Last synced: 6 days ago - Pushed: 7 months ago - Stars: 79 - Forks: 7
sergio-sastre/Multiplying_the_quality_of_unit_tests
An Android project in Jetpack Compose to showcase how to level up our unit tests step by step with parameterized tests, property-based test & stateful tests
Language: Kotlin - Size: 296 KB - Last synced: 11 days ago - Pushed: about 1 year ago - Stars: 6 - Forks: 0
jangalinski/jqwik-playground
playing around with jqwik property testing
Language: Kotlin - Size: 3.91 KB - Last synced: 11 days ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0
atilaneves/unit-threaded
Advanced unit test framework for D
Language: D - Size: 1.48 MB - Last synced: 9 days ago - Pushed: 11 days ago - Stars: 120 - Forks: 37
schneiderfelipe/quickcheck ๐ฆ
๐ฉบ Effortless property-based, type-based testing for Nim.
Language: Nim - Size: 39.1 KB - Last synced: 11 days ago - Pushed: almost 3 years ago - Stars: 12 - Forks: 1
python-jsonschema/hypothesis-jsonschema
Tools to generate test data from JSON schemata with Hypothesis
Language: Python - Size: 10.4 MB - Last synced: 4 days ago - Pushed: 2 months ago - Stars: 233 - Forks: 27
ghostwriter/phest
[WIP] A Property-Based Testing Framework for PHP
Language: PHP - Size: 136 KB - Last synced: 11 days ago - Pushed: 14 days ago - Stars: 0 - Forks: 0
imrafaelmerino/json-values
Persistent Json in Java
Language: Java - Size: 166 MB - Last synced: 14 days ago - Pushed: 15 days ago - Stars: 20 - Forks: 0
Bogdanp/rackcheck
A property-based testing library for Racket.
Language: Racket - Size: 96.7 KB - Last synced: 11 days ago - Pushed: 16 days ago - Stars: 28 - Forks: 7
advent-of-craft/2023
Advent of Craft
Language: Java - Size: 88.9 MB - Last synced: 16 days ago - Pushed: 16 days ago - Stars: 74 - Forks: 62
loiclec/fuzzcheck-rs
Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions
Language: Rust - Size: 3.03 MB - Last synced: 15 days ago - Pushed: 6 months ago - Stars: 421 - Forks: 13
alfert/propcheck
Property based Testing for Elixir (based upon PropEr)
Language: Elixir - Size: 824 KB - Last synced: 10 days ago - Pushed: about 2 months ago - Stars: 358 - Forks: 42
damianoazzolini/probat
Property based testing Prolog programs.
Language: Prolog - Size: 46.9 KB - Last synced: 18 days ago - Pushed: 18 days ago - Stars: 1 - Forks: 0
int-i/cpp-sort ๐ฆ
C++20 Iterator Sorting Algorithm Implementation using Concepts TS (/w RapidCheck)
Language: C++ - Size: 67.4 KB - Last synced: 18 days ago - Pushed: over 2 years ago - Stars: 3 - Forks: 0
dubzzz/fast-check-examples
Property based testing (QuickCheck) examples based on fast-check
Language: JavaScript - Size: 143 KB - Last synced: 11 days ago - Pushed: about 2 years ago - Stars: 27 - Forks: 3
TomerFi/property-based-matrix-testing-tutorial
Property-based matrix testing in Java
Language: Java - Size: 12.7 KB - Last synced: 20 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
chobeat/hypothesis-csv
Extension for the hypothesis framework to support the generative testing with CSV input
Language: Python - Size: 75.2 KB - Last synced: 20 days ago - Pushed: 4 months ago - Stars: 24 - Forks: 0
ligurio/lark-grammars
Grammars suitable for lark parser and Hypothesis
Language: Python - Size: 161 KB - Last synced: 13 days ago - Pushed: about 2 months ago - Stars: 40 - Forks: 6
typelift/SwiftCheck
QuickCheck for Swift
Language: Swift - Size: 1.55 MB - Last synced: 2 days ago - Pushed: about 2 years ago - Stars: 1,414 - Forks: 106
ocaml-multicore/multicoretests
PBT testsuite and libraries for testing multicore OCaml
Language: OCaml - Size: 2.69 MB - Last synced: 23 days ago - Pushed: 23 days ago - Stars: 36 - Forks: 14
pholser/junit-quickcheck
Property-based testing, JUnit-style
Language: Java - Size: 17.4 MB - Last synced: 26 days ago - Pushed: 27 days ago - Stars: 952 - Forks: 122
nanofuzz/nanofuzz
NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
Language: TypeScript - Size: 1.18 MB - Last synced: 22 days ago - Pushed: 4 months ago - Stars: 35 - Forks: 1
c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
Language: OCaml - Size: 2.39 MB - Last synced: 6 days ago - Pushed: 2 months ago - Stars: 335 - Forks: 37
rogervinas/testing-playground
๐คน Testing Playground
Language: Kotlin - Size: 68.4 KB - Last synced: 23 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
haf/expecto
A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
Language: F# - Size: 36.3 MB - Last synced: 28 days ago - Pushed: 30 days ago - Stars: 651 - Forks: 95
typelevel/discipline
Flexible law checking for Scala
Language: Scala - Size: 532 KB - Last synced: 29 days ago - Pushed: about 1 month ago - Stars: 322 - Forks: 53
sim642/bsc-thesis
Abstraktsete domeenide omaduspรตhine testimine (Property-based Testing of Abstract Domains)
Language: TeX - Size: 7.31 MB - Last synced: 28 days ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0
Mokkapps/property-based-testing-typescript-demo
A demo application to demonstrate property based testing in TypeScript
Language: TypeScript - Size: 22.2 MB - Last synced: 28 days ago - Pushed: about 2 years ago - Stars: 1 - Forks: 1
goblindegook/talk-more-tests-less-work ๐ฆ
More Tests, Less Work
Language: JavaScript - Size: 78.1 KB - Last synced: 28 days ago - Pushed: about 6 years ago - Stars: 1 - Forks: 1
goblindegook/talk-more-tests-less-work-code ๐ฆ
Code examples for the More Tests, Less Work talk.
Language: TypeScript - Size: 134 KB - Last synced: 28 days ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0
rudymatela/fitspec
refine properties for testing Haskell programs
Language: Haskell - Size: 634 KB - Last synced: 17 days ago - Pushed: 3 months ago - Stars: 74 - Forks: 0
freddiefujiwara/fast-check-password-validator-example
Language: JavaScript - Size: 809 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
aiken-lang/fuzz
A library for writing Fuzzers for property-based testing in Aiken
Language: Nix - Size: 94.7 KB - Last synced: 19 days ago - Pushed: about 1 month ago - Stars: 2 - Forks: 2
Seelengrab/PropCheck.jl
A package for simple property based testing in julia.
Language: Julia - Size: 2.03 MB - Last synced: 27 days ago - Pushed: 2 months ago - Stars: 79 - Forks: 1
leanovate/gopter
GOlang Property TestER
Language: Go - Size: 366 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 582 - Forks: 41
Qqwy/ruby-prop_check
Property Testing library in Ruby
Language: Ruby - Size: 315 KB - Last synced: 27 days ago - Pushed: 3 months ago - Stars: 69 - Forks: 10
agroce/tstl
Template Scripting Testing Language tool: automated test generation for Python
Language: Python - Size: 13.5 MB - Last synced: 16 days ago - Pushed: about 1 month ago - Stars: 100 - Forks: 24
uber/hypothesis-gufunc
Extension to hypothesis for testing numpy general universal functions
Language: Python - Size: 55.7 KB - Last synced: 3 days ago - Pushed: about 3 years ago - Stars: 39 - Forks: 6
quicktheories/QuickTheories
Property based testing for Java 8
Language: Java - Size: 493 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 501 - Forks: 51
Qqwy/elixir-type_check
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Language: Elixir - Size: 1.43 MB - Last synced: 26 days ago - Pushed: 10 months ago - Stars: 510 - Forks: 23
Shmew/Fable.Jester
Fable bindings for jest and friends for delightful Fable testing.
Language: F# - Size: 2.86 MB - Last synced: 11 days ago - Pushed: almost 3 years ago - Stars: 33 - Forks: 3
MarcelGarus/glados
๐ฐ A property-based testing framework that tries to break your invariances.
Language: Dart - Size: 258 KB - Last synced: 11 days ago - Pushed: 5 months ago - Stars: 46 - Forks: 14
functionaljava/functionaljava
Functional programming in Java
Language: Java - Size: 3.57 MB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 1,584 - Forks: 288
jubobs/corkdev-feb-2017
Examples from my talk on property-based testing at Corkdev (Feb 2017)
Language: Scala - Size: 9.77 KB - Last synced: about 2 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 1
nicoabie/quickcheck
Randomized testing for Prolog ร la QuickCheck
Language: Prolog - Size: 72.3 KB - Last synced: 4 days ago - Pushed: almost 5 years ago - Stars: 20 - Forks: 1
jmid/qc-ptrees
A model-based QuickCheck test of ptrees (Patricia trees)
Language: OCaml - Size: 113 KB - Last synced: about 2 months ago - Pushed: almost 5 years ago - Stars: 11 - Forks: 2
jmid/luata-quickcheck
Lua type analysis and corresponding QuickCheck code
Language: HTML - Size: 1.93 MB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 6 - Forks: 1
trailofbits/deepstate
A unit test-like interface for fuzzing and symbolic execution
Language: Python - Size: 1.38 MB - Last synced: about 2 months ago - Pushed: 9 months ago - Stars: 804 - Forks: 99
artificialrevelations/property-based-testing-workshop
Property Based Testing workshop materials
Language: Java - Size: 59.6 KB - Last synced: about 2 months ago - Pushed: almost 4 years ago - Stars: 1 - Forks: 0
hedgehogqa/fsharp-hedgehog
Release with confidence, state-of-the-art property testing for .NET.
Language: F# - Size: 3.73 MB - Last synced: 11 days ago - Pushed: 9 months ago - Stars: 270 - Forks: 31
nwjsmith/generators.graph
A library of test.check generators for graph data
Language: Clojure - Size: 95.7 KB - Last synced: 2 months ago - Pushed: almost 3 years ago - Stars: 10 - Forks: 0
sageserpent-open/americium
Generation of test case data for Scala and Java, in the spirit of QuickCheck. When your test fails, it gives you a minimised failing test case and a way of reproducing the failure immediately.
Language: Scala - Size: 33 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 15 - Forks: 0
neysofu/reltester
Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator
Language: Rust - Size: 23.4 KB - Last synced: 7 days ago - Pushed: 9 months ago - Stars: 18 - Forks: 2
les-tontons-crafters/xtrem-tdd-money-kata
Repository for the workshop on the "Money Problem"
Language: C# - Size: 30 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 23 - Forks: 10
JBris/hypothesis-property-based-testing
Trying out the hypothesis library for property-based testing
Language: Python - Size: 9.77 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 1 - Forks: 0
rudymatela/leancheck
enumerative property-based testing for Haskell
Language: Haskell - Size: 1.28 MB - Last synced: 13 days ago - Pushed: 3 months ago - Stars: 51 - Forks: 7
ArtemBaskal/model-based-testing-calculator
Model Based Testing of the App Based On The Description from Constructing the User Interface with Statecharts Book of Ian Horrocks using XState
Language: TypeScript - Size: 1.82 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 9 - Forks: 0
gampleman/quick_check.js
A JS implementation of quick_check
Language: CoffeeScript - Size: 541 KB - Last synced: 3 days ago - Pushed: almost 4 years ago - Stars: 46 - Forks: 2
jmid/wasm-prop-tester
A stack-driven generator of arbitrary WebAssembly programs
Language: OCaml - Size: 322 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 20 - Forks: 2
JamieMason/expect-more
Curried Type Testing library, and Test Matchers for Jest
Language: TypeScript - Size: 1.62 MB - Last synced: 11 days ago - Pushed: about 1 year ago - Stars: 169 - Forks: 10
rantly-rb/rantly
Ruby Imperative Random Data Generator and Quickcheck
Language: Ruby - Size: 7.27 MB - Last synced: 1 day ago - Pushed: 8 days ago - Stars: 274 - Forks: 22
Bodigrim/smallcheck
Test your Haskell code by exhaustively checking its properties
Language: Haskell - Size: 298 KB - Last synced: 11 days ago - Pushed: 11 months ago - Stars: 133 - Forks: 16
sylvaindecout/jqwik-handson
Hands-on for Property-Based Testing with Jqwik
Language: Java - Size: 1.08 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 2 - Forks: 3
jmid/pbt-frameworks
An overview of property-based testing functionality
Size: 46.9 KB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 43 - Forks: 2
ponylang/ponycheck ๐ฆ
Property Based Testing for Ponylang ๐ด โ๏ธ
Language: Pony - Size: 6.06 MB - Last synced: 11 days ago - Pushed: about 2 years ago - Stars: 59 - Forks: 5
rohanpadhye/JQF
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Language: Java - Size: 5.43 MB - Last synced: 3 months ago - Pushed: 8 months ago - Stars: 611 - Forks: 109
d-led/java-testing-the-tests
Programming is not easy. Coverage numbers don't tell you the whole story. The build broken intentionally in this repo. See the README for motivation & a walk-through
Language: Java - Size: 235 KB - Last synced: 22 days ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
jvanbruegge/cycleconf2017-talk
My talk about property based testing
Language: TypeScript - Size: 1.59 MB - Last synced: 4 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0
imrafaelmerino/JIO
API to work with functional effects in Java
Language: Java - Size: 7.3 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 2 - Forks: 0
FuzzyMonkeyCo/monkey
@FuzzyMonkeyCo's minion
Language: Go - Size: 1.28 MB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 20 - Forks: 1
trollaklass/troll-of-fame-js
PBT workshop in js
Language: JavaScript - Size: 396 KB - Last synced: 4 months ago - Pushed: over 1 year ago - Stars: 8 - Forks: 1
vic/spec
Data specification conformance and generation for Elixir
Language: Elixir - Size: 78.1 KB - Last synced: 3 days ago - Pushed: almost 4 years ago - Stars: 76 - Forks: 3
themaxhero/Package-Wizard ๐ฆ
Like Ad-hoc polimorfism but for Logistic Companies
Language: Elixir - Size: 53.7 KB - Last synced: about 2 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
hedgehogqa/fsharp-hedgehog-experimental
Hedgehog with batteries included: Auto-generators, extra combinators, and more.
Language: F# - Size: 446 KB - Last synced: 11 days ago - Pushed: almost 2 years ago - Stars: 17 - Forks: 8
olipratt/swagger-conformance
Python based tool for testing whether your API conforms to its Swagger schema
Language: Python - Size: 186 KB - Last synced: 12 days ago - Pushed: over 5 years ago - Stars: 53 - Forks: 11
imrafaelmerino/java-fun
Functional programming techniques implemented in Java
Language: Java - Size: 31.9 MB - Last synced: 5 months ago - Pushed: 6 months ago - Stars: 2 - Forks: 0
ythirion/refactoring-du-bouchonnois
Kata de refactoring pour apprendre des techniques telles que Property-Based Testing, Approval Testing, Strangler, Functional Programming, ....
Language: HTML - Size: 24.7 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 12 - Forks: 4
portasynthinca3/propex
An adaptation of PropEr for the Elixir world.
Language: Elixir - Size: 57.6 KB - Last synced: 30 days ago - Pushed: 7 months ago - Stars: 2 - Forks: 0
kdblocher/bridge
Contract bridge system analysis tool for making the most out of your system book.
Language: TypeScript - Size: 53.8 MB - Last synced: 11 days ago - Pushed: about 1 month ago - Stars: 3 - Forks: 2