property-testing
There are 60 repositories under property-testing topic.
kotest/kotest
Powerful, elegant and flexible test framework for Kotlin with additional assertions, property testing and data driven testing
typelevel/scalacheck
Property-based testing for Scala
whatyouhide/stream_data
Data generation and property-based testing for Elixir. 🔮
hedgehogqa/haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
flyingmutant/rapid
Rapid is a modern Go property-based testing library
NorfairKing/smos
A comprehensive self-management System
hedgehogqa/fsharp-hedgehog
Release with confidence, state-of-the-art property testing for .NET.
appmattus/kotlinfixture
Fixtures for Kotlin providing generated values for unit testing
japgolly/nyaya
Random Data Generation and/or Property Testing in Scala & Scala.JS.
camshaft/bolero
property testing and verification front-end for Rust
AlexandreDecan/sismic
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
Bodigrim/smallcheck
Test your Haskell code by exhaustively checking its properties
atilaneves/unit-threaded
Advanced unit test framework for D
Qqwy/ruby-prop_check
Property Testing library in Ruby
rudymatela/fitspec
refine properties for testing Haskell programs
propensive/probably
To probe what we can't prove, so the unprovable may become probable; testing for Scala
rudymatela/leancheck
enumerative property-based testing for Haskell
jmid/pbt-frameworks
An overview of property-based testing functionality
NorfairKing/easyspec
Signature inference for Functional Property Discovery in Haskell
ocaml-multicore/multicoretests
PBT testsuite and libraries for testing multicore OCaml
1Jajen1/propCheck
Property based testing for kotlintest ported from quickcheck
elbaulp/Scala-Category-Theory
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
rudymatela/speculate
Speculate laws about Haskell functions
pointfreeco/swift-quickcheck
🏁 An implementation of QuickCheck in Swift.
wolfendale/scalacheck-gen-regexp
A library for creating Scalacheck generators from regular expressions
FuzzyMonkeyCo/monkey
@FuzzyMonkeyCo's minion
jmid/wasm-prop-tester
A stack-driven generator of arbitrary WebAssembly programs
rudymatela/extrapolate
generalize counter-examples of property-based testing
potatosalad/elixirconf2018
Sustainable Testing
Liqwid-Labs/plutarch-quickcheck
Pain-free QuickCheck helpers for Plutarch
PaulGrandperrin/fuzztest-rs
Easily test your software using powerful evolutionary, feedback-driven fuzzing technology.
mikkelmilo/rooster-spec
Automated Theory Exploration in Coq using Haskell's QuickSpec
dubzzz/breaking-return-true-to-win
Breaking 'return true to win' using Property based testing fast-check
lastmjs/guesswork
Framework for property-based testing in JavaScript, TypeScript, JSX, and TSX.
sullvn/tastes
Visualize software behavior with intelligent sampling
typeclasses/hedgehog-optics
Hedgehog properties for optics laws