scalaprops/scalaprops

property based testing library for Scala

Language: Scala - Size: 1.87 MB - Last synced at: about 10 hours ago - Pushed at: about 11 hours ago - Stars: 278 - Forks: 20

aiken-lang/fuzz

A library for writing Fuzzers for property-based testing in Aiken

Language: Nix - Size: 174 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 7 - Forks: 5

dubzzz/fast-check

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

Language: TypeScript - Size: 43.5 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 4,539 - Forks: 189

ecnusse/Kea2

A python library for supporting, customizing and improving automated UI testing for mobile apps

Language: Python - Size: 45 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 24 - Forks: 5

HypothesisWorks/hypothesis

The property-based testing library for Python

Language: Python - Size: 39.5 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 7,876 - Forks: 615

x-sheep/swift-property-based

Property-based testing for Swift 6

Language: Swift - Size: 106 KB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 2 - Forks: 0

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.72 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 42 - Forks: 5

LordUbuntu/maths

Maths algorithms and data structures you'll find useful, formally verified and optimized

Language: Python - Size: 195 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 0

schemathesis/schemathesis

Supercharge your API testing, catch bugs, and ensure compliance

Language: Python - Size: 67.6 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 2,529 - Forks: 176

r8vnhill/dibs

Curso sobre diseño e implementación de bibliotecas de software. Incluye sistemas de construcción, testing, OOP, genéricos, programación funcional y más, con Kotlin y Docusaurus.

Language: TypeScript - Size: 3.33 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

typelevel/discipline

Flexible law checking for Scala

Language: Scala - Size: 580 KB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 332 - Forks: 56

szktty/kiri-check

A testing library for property-based testing in Dart, enabling custom test data generation, testing stateful systems, and integrating seamlessly with package:test.

Language: Dart - Size: 271 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 5 - Forks: 0

pfichtner/testtypes

Language: Java - Size: 195 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 1

j5ik2o/prop-check-rs

A Rust crate for property-based testing.

Language: Rust - Size: 462 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 4 - 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: 35.3 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 17 - Forks: 1

scalaprops/scalaprops-cross-example

Cross-platform(JVM, JS, Native) example project of scalaprops

Language: Scala - Size: 95.7 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 4 - Forks: 3

c-cube/qcheck

QuickCheck inspired property-based testing for OCaml.

Language: OCaml - Size: 3.21 MB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 374 - Forks: 43

tonivade/purecheck

Property based testing in Java

Language: Java - Size: 992 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 2 - Forks: 0

advancedtelematic/quickcheck-state-machine 📦

Test monadic programs using state machine based models

Language: Haskell - Size: 2.71 MB - Last synced at: about 10 hours ago - Pushed at: about 4 years ago - Stars: 204 - Forks: 25

flyingmutant/rapid

Rapid is a modern Go property-based testing library

Language: Go - Size: 438 KB - Last synced at: 8 days ago - Pushed at: 13 days ago - Stars: 641 - Forks: 28

alfert/propcheck

Property based Testing for Elixir (based upon PropEr)

Language: Elixir - Size: 845 KB - Last synced at: 9 days ago - Pushed at: about 2 months ago - Stars: 383 - Forks: 45

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.95 MB - Last synced at: 10 days ago - Pushed at: 17 days ago - Stars: 797 - Forks: 31

japgolly/nyaya

Random Data Generation and/or Property Testing in Scala & Scala.JS.

Language: Scala - Size: 579 KB - Last synced at: about 10 hours ago - Pushed at: 10 months ago - Stars: 186 - Forks: 19

moonbitlang/quickcheck

Automatic testing of MoonBit programs

Language: MoonBit - Size: 279 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 25 - Forks: 4

kindone/jsproptest

javascript property-based testing

Language: TypeScript - Size: 1.81 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 0 - Forks: 0

rohanpadhye/JQF

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

Language: Java - Size: 5.27 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 701 - Forks: 117

hedgehogqa/haskell-hedgehog

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

Language: Haskell - Size: 958 KB - Last synced at: 3 days ago - Pushed at: 2 months ago - Stars: 687 - Forks: 107

Qqwy/ruby-prop_check

Property Testing library in Ruby

Language: Ruby - Size: 340 KB - Last synced at: 13 days ago - Pushed at: 3 months ago - Stars: 93 - Forks: 11

ecnusse/Kea

Property-based Testing for Mobile GUI Apps

Language: Python - Size: 123 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 59 - Forks: 13

JamieMason/expect-more

Curried Type Testing library, and Test Matchers for Jest

Language: TypeScript - Size: 1.62 MB - Last synced at: 15 days ago - Pushed at: over 2 years ago - Stars: 172 - Forks: 9

ocaml-multicore/multicoretests

PBT testsuite and libraries for testing multicore OCaml

Language: OCaml - Size: 3.36 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 40 - Forks: 16

loiclec/fuzzcheck-rs

Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions

Language: Rust - Size: 2.99 MB - Last synced at: 3 days ago - Pushed at: 18 days ago - Stars: 443 - Forks: 11

Zac-HD/hypothesis Fork of HypothesisWorks/hypothesis

Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

Language: Python - Size: 38 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 2 - Forks: 0

elixir-toniq/norm

Data specification and generation

Language: Elixir - Size: 362 KB - Last synced at: 18 days ago - Pushed at: 26 days ago - Stars: 697 - Forks: 29

functionaljava/functionaljava

Functional programming in Java

Language: Java - Size: 3.57 MB - Last synced at: 10 days ago - Pushed at: about 2 years ago - Stars: 1,616 - Forks: 254

quicktheories/QuickTheories

Property based testing for Java 8

Language: Java - Size: 493 KB - Last synced at: 8 days ago - Pushed at: over 4 years ago - Stars: 510 - Forks: 50

yoohaemin/decrel

Composable relations for Scala

Language: Scala - Size: 313 KB - Last synced at: 6 days ago - Pushed at: 26 days ago - Stars: 72 - Forks: 3

Seelengrab/Supposition.jl

A Julia implementation of choice sequence based PBT, inspired by Hypothesis

Language: Julia - Size: 1.65 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 57 - Forks: 2

rudymatela/leancheck-instances

Common LeanCheck instances

Language: Haskell - Size: 131 KB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 1 - Forks: 0

typelift/SwiftCheck

QuickCheck for Swift

Language: Swift - Size: 1.55 MB - Last synced at: 10 days ago - Pushed at: about 3 years ago - Stars: 1,416 - Forks: 107

whatyouhide/stream_data

Data generation and property-based testing for Elixir. 🔮

Language: Elixir - Size: 494 KB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 900 - Forks: 70

sarajuhosova/pbt-playground

A collection of property-based testing examples in various frameworks

Language: Rust - Size: 104 KB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

ghandic/jsf

Creates fake JSON files from a JSON schema

Language: Python - Size: 1.55 MB - Last synced at: 4 days ago - Pushed at: 7 months ago - Stars: 180 - Forks: 35

Qqwy/elixir-type_check

TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

Language: Elixir - Size: 1.53 MB - Last synced at: 17 days ago - Pushed at: 4 months ago - Stars: 529 - Forks: 25

soren-n/minigun-py

A library for property-based testing of Python programs. Please read the documentation to learn more: https://minigun.readthedocs.io/en/latest/

Language: Python - Size: 244 KB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

stevana/coverage-guided-pbt

Language: Haskell - Size: 149 KB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

python-jsonschema/hypothesis-jsonschema

Tools to generate test data from JSON schemata with Hypothesis

Language: Python - Size: 10.4 MB - Last synced at: 25 days ago - Pushed at: over 1 year ago - Stars: 264 - Forks: 35

haf/expecto

A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!

Language: F# - Size: 38.3 MB - Last synced at: 18 days ago - Pushed at: 2 months ago - Stars: 705 - Forks: 98

sogaiu/janet-minipbt-translation

Language: Janet - Size: 68.4 KB - Last synced at: 20 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

rodrigosetti/swagger-test

Property based testing tool for Swagger APIs

Language: Haskell - Size: 85 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 32 - Forks: 3

hedgehogqa/fsharp-hedgehog-experimental

Hedgehog with batteries included: Auto-generators, extra combinators, and more.

Language: F# - Size: 473 KB - Last synced at: 12 days ago - Pushed at: about 1 month ago - Stars: 24 - Forks: 8

rantly-rb/rantly

Ruby Imperative Random Data Generator and Quickcheck

Language: Ruby - Size: 7.28 MB - Last synced at: 7 days ago - Pushed at: 8 months ago - Stars: 280 - Forks: 21

ohbarye/pbt

Property-Based Testing tool for Ruby that supports concurrency with Ractor.

Language: Ruby - Size: 197 KB - Last synced at: 16 days ago - Pushed at: 5 months ago - Stars: 216 - Forks: 5

Kyurenpoto-org/pbdt

Property-Behavior Driven Test for C++

Language: C++ - Size: 387 KB - Last synced at: about 13 hours ago - Pushed at: about 13 hours ago - Stars: 0 - 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: 9 days ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

jmid/pbt-frameworks

An overview of property-based testing functionality

Size: 40 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 61 - Forks: 3

trailofbits/deepstate

A unit test-like interface for fuzzing and symbolic execution

Language: Python - Size: 1.44 MB - Last synced at: 17 days ago - Pushed at: 5 months ago - Stars: 831 - Forks: 97

iacopy/cleanpython

A Python3 project template with several useful, standard, integrated batteries to help you write clean, tested, quality code, following the Zen of Python.

Language: Just - Size: 1.07 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 7 - Forks: 0

hedgehogqa/fsharp-hedgehog

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

Language: F# - Size: 3.73 MB - Last synced at: 10 days ago - Pushed at: about 2 months ago - Stars: 276 - Forks: 30

ligurio/lark-grammars

Grammars suitable for lark parser and Hypothesis

Language: Python - Size: 161 KB - Last synced at: 25 days ago - Pushed at: about 1 year ago - Stars: 46 - Forks: 5

rbeauchamp/industrial-haskell-template

Industrial-grade Haskell project template for mission-critical systems. Features formal verification (LiquidHaskell), robust error handling, hexagonal architecture, TDD, and AI-assistant rules (Cursor)

Language: Haskell - Size: 122 KB - Last synced at: 6 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

pholser/junit-quickcheck

Property-based testing, JUnit-style

Language: Java - Size: 17.5 MB - Last synced at: about 2 months ago - Pushed at: 7 months ago - Stars: 966 - Forks: 123

Bogdanp/rackcheck

A property-based testing library for Racket.

Language: Racket - Size: 96.7 KB - Last synced at: 27 days ago - Pushed at: about 1 year ago - Stars: 32 - Forks: 7

Philippus/scala-for-all

:horse: REPLesent-presentatie voor Exception Twente op 16 februari 2017

Language: Scala - Size: 8.45 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 1

Sevastyan/ptest

A package to conduct property-based unit testing of Dart code.

Language: Dart - Size: 16.6 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

r8vnhill/scala-dibs

Code examples for the Design and Implementation of Software Libraries course (DIBS), focused on Scala. Covers OOP, FP, testing, and more — fully in English, built with SBT and Scala 3.

Language: Scala - Size: 18.6 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

mrigankpawagi/PropertyEval

PropertyEval: Synthesizing Thorough Test Cases for LLM Code Generation Benchmarks using Property-Based Testing

Language: Python - Size: 6.44 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

leanovate/gopter

GOlang Property TestER

Language: Go - Size: 366 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 602 - Forks: 41

atilaneves/unit-threaded

Advanced unit test framework for D

Language: D - Size: 1.49 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 122 - Forks: 37

TomerAberbach/typespec-fast-check

🐒 A TypeSpec emitter for fast-check arbitraries.

Language: JavaScript - Size: 892 KB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0

MarcelGarus/glados

🍰 A property-based testing framework that tries to break your invariances.

Language: Dart - Size: 258 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 48 - Forks: 15

JerickCD/rant

Rest Api on NodeJS with Typescript - A Boilerplate to get you started

Size: 1.44 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

portasynthinca3/propex 📦

An adaptation of PropEr for the Elixir world.

Language: Elixir - Size: 57.6 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

worthant/taylor-tan-visualization

Interactive visualization of Taylor series, approximating tg(x)

Language: TypeScript - Size: 1.87 MB - Last synced at: 23 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

jmid/qcstm

A simple state-machine framework for OCaml based on QCheck

Language: OCaml - Size: 41 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 66 - Forks: 6

dubzzz/ava-fast-check 📦

Property based testing for AVA based on fast-check

Language: JavaScript - Size: 259 KB - Last synced at: 28 days ago - Pushed at: almost 3 years ago - Stars: 44 - Forks: 4

dubzzz/fast-check-examples

Property based testing (QuickCheck) examples based on fast-check

Language: JavaScript - Size: 147 KB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 26 - Forks: 4

rudymatela/extrapolate

generalize counter-examples of property-based testing

Language: Haskell - Size: 523 KB - Last synced at: 18 days ago - Pushed at: 4 months ago - Stars: 13 - Forks: 0

rudymatela/fitspec

refine properties for testing Haskell programs

Language: Haskell - Size: 636 KB - Last synced at: about 10 hours ago - Pushed at: 4 months ago - Stars: 74 - Forks: 0

rudymatela/speculate

Speculate laws about Haskell functions

Language: Haskell - Size: 1.05 MB - Last synced at: 22 days ago - Pushed at: 4 months ago - Stars: 30 - Forks: 0

rudymatela/leancheck

enumerative property-based testing for Haskell

Language: Haskell - Size: 1.29 MB - Last synced at: 6 days ago - Pushed at: 4 months ago - Stars: 53 - Forks: 8

psecio/propauth

A library for property-based policy evaluation

Language: PHP - Size: 1.08 MB - Last synced at: 28 days ago - Pushed at: about 7 years ago - Stars: 58 - Forks: 2

ChocPanda/scalacheck-magnolia 📦

Scalacheck Arbitrary type class derivation using magnolia

Language: Scala - Size: 202 KB - Last synced at: about 1 hour ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 6

nicoabie/quickcheck

Randomized testing for Prolog à la QuickCheck

Language: Prolog - Size: 72.3 KB - Last synced at: 5 days ago - Pushed at: almost 6 years ago - Stars: 23 - Forks: 1

Bodigrim/smallcheck

Test your Haskell code by exhaustively checking its properties

Language: Haskell - Size: 298 KB - Last synced at: 3 days ago - Pushed at: about 2 years ago - Stars: 136 - Forks: 16

msoedov/quick.py

Property-based testing library for Python

Language: Python - Size: 56.6 KB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 3

fitzgen/mutatis

`mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.

Language: Rust - Size: 125 KB - Last synced at: about 9 hours ago - Pushed at: 5 months ago - Stars: 8 - Forks: 0

mikkelmilo/rooster-spec

Automated Theory Exploration in Coq using Haskell's QuickSpec

Language: Coq - Size: 160 KB - Last synced at: about 2 months ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 1

Seelengrab/PropCheck.jl

A package for simple property based testing in julia.

Language: Julia - Size: 2.03 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 80 - Forks: 0

wcygan/lib-wc

A simple rust library

Language: Rust - Size: 309 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0

maettuu/24FS-Effective-Software-Testing

Repository for the course Effective Software Testing Spring 2024

Language: HTML - Size: 1.31 MB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

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: 2 months ago - Pushed at: over 4 years ago - Stars: 39 - Forks: 6

jcornaz/kwik 📦

Property-based testing library for Kotlin

Language: Kotlin - Size: 896 KB - Last synced at: 6 days ago - Pushed at: almost 4 years ago - Stars: 22 - Forks: 10

mrigankpawagi/ghAIstwriter

LLM-powered ghostwriter for Hypothesis.

Language: Python - Size: 75.2 KB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 0 - Forks: 1

clausejs/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.

Language: TypeScript - Size: 5.53 MB - Last synced at: 6 days ago - Pushed at: about 8 years ago - Stars: 29 - Forks: 3

wcygan/java-practice

java-practice

Language: Java - Size: 188 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

Forward-Lang/awesome-property-testing

Curated set of property-based tests for common data structures and algorithms, promoting better test coverage and robustness

Size: 114 KB - Last synced at: 27 days ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

mrigankpawagi/PBT4Automata

Property Based Testing for Finite Automata and Context-free Grammars

Language: Python - Size: 15.6 KB - Last synced at: 3 days ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

Shmew/Fable.Jester

Fable bindings for jest and friends for delightful Fable testing.

Language: F# - Size: 2.86 MB - Last synced at: 7 days ago - Pushed at: almost 4 years ago - Stars: 35 - Forks: 5

stevana/property-based-testing-stateful-systems-tutorial

A tutorial about how to apply property-based testing to stateful systems.

Language: Haskell - Size: 421 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 70 - Forks: 4