The Top 90 Quickcheck Open Source Projects on Github

Awesome Open Source

Awesome Open Source

Combined Topics

Advertising 📦 9

Application Programming Interfaces 📦 120

Applications 📦 181

Artificial Intelligence 📦 72

Blockchain 📦 70

Build Tools 📦 111

Cloud Computing 📦 79

Code Quality 📦 28

Collaboration 📦 30

Command Line Interface 📦 48

Community 📦 81

Companies 📦 60

Compilers 📦 60

Computer Science 📦 74

Configuration Management 📦 39

Content Management 📦 167

Control Flow 📦 197

Data Formats 📦 77

Data Processing 📦 266

Data Storage 📦 132

Economics 📦 60

Frameworks 📦 198

Graphics 📦 103

Hardware 📦 148

Integrated Development Environments 📦 47

Learning Resources 📦 147

Libraries 📦 119

Lists Of Projects 📦 21

Machine Learning 📦 336

Mapping 📦 61

Marketing 📦 15

Mathematics 📦 55

Messaging 📦 97

Networking 📦 304

Operating Systems 📦 84

Operations 📦 120

Package Managers 📦 52

Programming Languages 📦 229

Runtime Environments 📦 96

Science 📦 42

Security 📦 375

Social Media 📦 26

Software Architecture 📦 70

Software Development 📦 68

Software Performance 📦 57

Software Quality 📦 127

Text Editors 📦 45

Text Processing 📦 131

User Interface 📦 310

User Interface Components 📦 465

Version Control 📦 29

Virtualization 📦 68

Web Browsers 📦 38

Web Servers 📦 25

Web User Interface 📦 194

The Top 90 Quickcheck Open Source Projects on Github

Categories > Software Quality > Quickcheck

Fast Check ⭐ 2,479

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

Swiftcheck ⭐ 1,342

QuickCheck for Swift

Fscheck ⭐ 914

Random Testing for .NET

Junit Quickcheck ⭐ 865

Property-based testing, JUnit-style

Stream_data ⭐ 635

Data generation and property-based testing for Elixir. 🔮

Haskell Hedgehog ⭐ 600

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

Modern and extensible testing framework for Haskell

Quicktheories ⭐ 482

Property based testing for Java 8

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

Property-Based Testing on the JUnit Platform

Rapid is a Go library for property-based testing that supports state machine ("stateful" or "model-based") testing and fully automatic test case minimization ("shrinking")

QuickCheck inspired property-based testing for OCaml.

Fsharp Hedgehog ⭐ 225

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

Ruby Imperative Random Data Generator and Quickcheck

Quickcheck State Machine ⭐ 192

Test monadic programs using state machine based models

Generic Random ⭐ 72

Generic random generators

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

Babel Plugin Transform Flow To Gen ⭐ 59

Flow + Babel + TestCheck == QuickCheck in JavaScript

A simple state-machine framework for OCaml based on QCheck

Propcheck ⭐ 50

Quickcheck/hypothesis style testing for elisp

Quick_check.js ⭐ 48

A JS implementation of quick_check

Random testing library for C#

Ava Fast Check ⭐ 40

Property based testing for AVA based on fast-check

Check It ⭐ 37

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

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

Propcheck ⭐ 30

Property based testing for kotlintest ported from quickcheck

Easyspec ⭐ 28

Signature inference for Functional Property Discovery in Haskell

Efftester ⭐ 26

Effect-Driven Compiler Tester for OCaml

Fuzz Rest Api ⭐ 22

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

Pbt Frameworks ⭐ 20

An overview of property-based testing functionality

Checkers.jl ⭐ 20

QuickCheck-like automated testing for Julia

Erlang Declarative Debugger

Regenerate ⭐ 18

Tool to generate test-cases for regular expression engines

Swift Quickcheck ⭐ 16

🏁 An implementation of QuickCheck in Swift.

Quickcheck ⭐ 16

Randomized testing for Prolog à la QuickCheck

Haskell Titan ⭐ 16

Testing Infrastructure for Temporal AbstractioNs

Hypothesis Regex ⭐ 15

Hypothesis extension to allow generating strings based on regex

Quick.py ⭐ 15

Property-based testing library for Python

Wasm Prop Tester ⭐ 15

A stack-driven generator of arbitrary WebAssembly programs

Hypothesis_sqlalchemy ⭐ 14

hypothesis strategies for generating SQLAlchemy objects

Fast Check Examples ⭐ 14

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

Haskell Schema ⭐ 13

A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.

Quickcheck ⭐ 12

🩺 Effortless property-based, type-based testing for Nim.

Quickcheck Higherorder ⭐ 12

QuickCheck extension for higher-order properties

Quickcheckexamples ⭐ 11

Example QuickCheck models

Ruby Prop_check ⭐ 11

Property Testing library in Ruby

Framework for writing tests with randomly generated test data

QuickCheck like test library

Qc Ptrees ⭐ 7

A model-based QuickCheck test of ptrees (Patricia trees)

Stream_state ⭐ 7

Stateful generative testing for Elixir implemented on top of StreamData

A repository for backing up and sharing AVD exercises

Troll Of Fame Java ⭐ 6

Java code for the Troll Aklass workshop on Property Based Tests

Haskell 99 Problems ⭐ 5

Ninety-Nine Haskell Problems

Quickcheck State Machine Distributed ⭐ 5

Test monadic programs using state machine based models

Quickcheck Special ⭐ 5

Edge cases and special values for QuickCheck Arbitrary instances

Hypothesis_geometry ⭐ 5

hypothesis strategies for geometric objects (points, polygons, etc.)

Bulletproof ⭐ 5

[WIP] QuickCheck like PHP library for easier property based testing

Haskell Supermemo ⭐ 4

An implementation of the supermemo 2 flash card spaced repetition algorithm.

Luata Quickcheck ⭐ 4

Lua type analysis and corresponding QuickCheck code

Persimmon.dried ⭐ 4

Random testing for Persimmon

QuickCheck for C

Proptest Derive ⭐ 3

Custom-derive for the Arbitrary trait of proptest.

Formulasypolinomios ⭐ 3

Sistema certificado de decisión proposicional basado en polinomios.

Check.statem ⭐ 3

Facilities for generating test programs using state machines.

A library for quickchecking lattice modules and associated operations

Guesswork ⭐ 3

Framework for property-based testing in JavaScript, TypeScript, JSX, and TSX.

Json Structure ⭐ 3

A specification language of JSON objects for statically typed languages

Reflex Type Simplify ⭐ 2

Use Hedgehog (like QuickCheck) to simplify types (and life) when using reflex-frp

Haskell Testing Lecture ⭐ 2

To be used for the lecture about testing in Haskell

Proptest Quickcheck Interop ⭐ 2

Provides an interoperability layer for reuse of quickcheck::Arbitrary impls in proptest

Jsverify Commands ⭐ 2

Bring commands to JSVerify property-based testing framework

Ocaml Jack ⭐ 2

QuickCheck with shrinking for free

Haskellbook Exercises ⭐ 2

Haskell Book Exercises

Speccheck ⭐ 2

QuickCheck-like testing framework for Isabelle/ML

St2018_wg_10 ⭐ 1

Solutions of Working Group No. 10

ROS node testing based on Python Hypothesis

Axiomatic Classes ⭐ 1

Specify axioms for type classes and quickCheck all available instances

Squeakcheck ⭐ 1

Quickcheck_derive ⭐ 1

Derives quickcheck traits

Property Based Testing Patterns ⭐ 1

property-based testing patterns examples

Haskell Playground ⭐ 1

Shrink test cases using go stdlib quick.Check

Rapid Check ⭐ 1

Yet another implementation of property based testing framework

Mdast Util Arbitrary ⭐ 1

Generate arbitrary mdast with fast check

PHP implementation of Haskell's QuickCheck.

Quickcheck Demo ⭐ 1

Learning Lunch @Airbnb

Quickcheck Combinators ⭐ 1

type-level combinators for quickcheck instances

Fast quickcheck implementation for JavaScript [work-in-progress]

Aws Alias Cli ⭐ 1

🔱 Simple alias for AWS cli to quickly check with the best information!

Purescript Quickcheck Combinators ⭐ 1

Typelevel combinators for quickcheck, in purescript

1-90 of 90 projects

Related Projects

Property Based Testing Quickcheck Projects (44)

Testing Quickcheck Projects (40)

Haskell Quickcheck Projects (24)

Quickcheck Property Testing Projects (12)

Haskell Testing Quickcheck Projects (11)

Javascript Quickcheck Projects (10)

Ocaml Quickcheck Projects (8)

Javascript Property Based Testing Quickcheck Projects (8)

Fuzzing Quickcheck Projects (7)

Ocaml Property Based Testing Quickcheck Projects (7)

Fuzzing Property Based Testing Quickcheck Projects (5)

Quickcheck Generative Testing Projects (5)

Java Quickcheck Projects (5)

Junit Quickcheck Projects (5)

Python Quickcheck Projects (5)

Unit Testing Quickcheck Projects (4)

Typescript Property Based Testing Quickcheck Projects (4)

Typescript Quickcheck Projects (4)

Testing Fuzzing Quickcheck Projects (4)

Java Junit Quickcheck Projects (4)

Java Property Based Testing Quickcheck Projects (4)

Junit Property Based Testing Quickcheck Projects (4)

Python Testing Quickcheck Projects (4)

Rust Quickcheck Projects (4)

Test Quickcheck Projects (4)

Haskell Property Based Testing Quickcheck Projects (3)

Haskell Library Quickcheck Projects (3)

Haskell Learning Quickcheck Projects (3)

C Sharp Testing Quickcheck Projects (3)

C Sharp Quickcheck Projects (3)

Testing F Sharp Quickcheck Projects (3)

Java Junit Property Based Testing Quickcheck Projects (3)

Go Quickcheck Projects (3)

Ocaml Testing Quickcheck Projects (3)

Random Quickcheck Projects (3)

Javascript Testing Quickcheck Projects (3)

Javascript Quickcheck Generative Testing Projects (3)

Typescript Testing Quickcheck Projects (3)

Javascript Property Based Testing Quickcheck Fast Check Projects (3)

Javascript Quickcheck Fast Check Projects (3)

Functional Programming Quickcheck Projects (3)

Python Testing Quickcheck Hypothesis Projects (3)

Python Quickcheck Hypothesis Projects (3)

Testing Quickcheck Hypothesis Projects (3)

Quickcheck Hypothesis Projects (3)

Tdd Property Based Testing Quickcheck Projects (3)

Tdd Quickcheck Projects (3)

Property Based Testing Quickcheck Fast Check Projects (3)

Rust Property Based Testing Quickcheck Projects (3)

Quickcheck Fuzz Testing Projects (3)

F Sharp Quickcheck Projects (3)

Rust Testing Quickcheck Projects (3)

Test Property Based Testing Quickcheck Projects (3)

Testing Test Quickcheck Projects (3)

Test Quickcheck Property Testing Projects (3)

Swift Quickcheck Projects (2)

Elixir Quickcheck Projects (2)

Quickcheck Data Generation Projects (2)

Haskell Testing Quickcheck Golden Tests Projects (2)

Haskell Testing Quickcheck Golden Tests Hunit Projects (2)

Haskell Testing Quickcheck Golden Tests Smallcheck Projects (2)

Haskell Testing Quickcheck Hunit Projects (2)

Haskell Testing Quickcheck Hunit Smallcheck Projects (2)

Haskell Testing Quickcheck Smallcheck Projects (2)

Java Junit Fuzzing Property Based Testing Quickcheck Projects (2)

Java Junit Fuzzing Quickcheck Projects (2)

Java Junit Fuzzing Quickcheck Afl Projects (2)

Advertising 📦 9

Application Programming Interfaces 📦 120

Applications 📦 181

Artificial Intelligence 📦 72

Blockchain 📦 70

Build Tools 📦 111

Cloud Computing 📦 79

Code Quality 📦 28

Collaboration 📦 30

Command Line Interface 📦 48

Community 📦 81

Companies 📦 60

Compilers 📦 60

Computer Science 📦 74

Configuration Management 📦 39

Content Management 📦 167

Control Flow 📦 197

Data Formats 📦 77

Data Processing 📦 266

Data Storage 📦 132

Economics 📦 60

Frameworks 📦 198

Graphics 📦 103

Hardware 📦 148

Integrated Development Environments 📦 47

Learning Resources 📦 147

Libraries 📦 119

Lists Of Projects 📦 21

Machine Learning 📦 336

Mapping 📦 61

Marketing 📦 15

Mathematics 📦 55

Messaging 📦 97

Networking 📦 304

Operating Systems 📦 84

Operations 📦 120

Package Managers 📦 52

Programming Languages 📦 229

Runtime Environments 📦 96

Science 📦 42

Security 📦 375

Social Media 📦 26

Software Architecture 📦 70

Software Development 📦 68

Software Performance 📦 57

Software Quality 📦 127

Text Editors 📦 45

Text Processing 📦 131

User Interface 📦 310

User Interface Components 📦 465

Version Control 📦 29

Virtualization 📦 68

Web Browsers 📦 38

Web Servers 📦 25

Web User Interface 📦 194

"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.

All non readme contents or Github based topics or project metadata copyright Awesome Open Source 2018-2021