Awesome Open Source
Awesome Open Source
Combined Topics
quickcheck x

The Top 396 Quickcheck Open Source Projects

Categories > Software Quality > Quickcheck
Fast Check ⭐ 2,863
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
dependent packages 349total releases 146most recent commit 20 hours agonpm fast-check} Downloads
Quickcheck ⭐ 1,804
Automated property based testing for Rust (with shrinking).
dependent packages 724total releases 84most recent commit 5 months agocargo quickcheck} Downloads
Scalacheck ⭐ 1,800
Property-based testing for Scala
dependent packages 2,258total releases 34most recent commit 2 months ago
Functionaljava ⭐ 1,488
Functional programming in Java
dependent packages 57total releases 18most recent commit 3 months ago
Swiftcheck ⭐ 1,342
QuickCheck for Swift
total releases 16most recent commit 9 months ago
Test.check ⭐ 1,045
QuickCheck for Clojure
dependent packages 21total releases 26most recent commit 5 months ago
Fscheck ⭐ 955
Random Testing for .NET
dependent packages 25total releases 91most recent commit 3 months agonuget FsCheck} Downloads
Junit Quickcheck ⭐ 891
Property-based testing, JUnit-style
dependent packages 49total releases 44most recent commit a month ago
Proper ⭐ 827
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
dependent packages 10total releases 5most recent commit a day agohex proper} Downloads
Rapidcheck ⭐ 815
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
most recent commit 2 months ago
Stream_data ⭐ 697
Data generation and property-based testing for Elixir. 🔮
dependent packages 24total releases 9most recent commit 17 days agohex stream_data} Downloads
Haskell Hedgehog ⭐ 631
Release with confidence, state-of-the-art property testing for Haskell.
total releases 21most recent commit 3 days ago
Fox ⭐ 628
Property Based Testing Library for Objective-C and Swift. QuickCheck for Apple's Platforms.
total releases 2most recent commit 6 years ago
Jscheck ⭐ 569
A random property testing tool for JavaScript
total releases 2most recent commit a year ago
Tasty ⭐ 549
Modern and extensible testing framework for Haskell
most recent commit 16 days ago
Riak_cs ⭐ 542
Riak CS is simple, available cloud storage built on Riak.
most recent commit 3 years ago
Quicktheories ⭐ 482
Property based testing for Java 8
dependent packages 25total releases 11most recent commit 2 years ago
Jqf ⭐ 444
JQF + Zest: Coverage-guided semantic fuzzing for Java.
dependent packages 1total releases 15most recent commit 2 months ago
Flow Static Land ⭐ 418
[DEPRECATED, please check out fp-ts] Implementation of common algebraic types in JavaScript + Flow
dependent packages 16total releases 11most recent commit 5 years agonpm flow-static-land} Downloads
Awesome Prolog ⭐ 371
Curated list of Prolog packages and resources
most recent commit 8 months ago
Eris ⭐ 361
Eris is a porting of Quickcheck and property-based testing tools to the PHP and PHPUnit ecosystem.
dependent packages 65total releases 14most recent commit 4 months agopackagist giorgiosironi/eris} Downloads
Doctest ⭐ 332
An implementation of Python's doctest for Haskell
total releases 57most recent commit a month ago
Excheck ⭐ 305
Property-based testing library for Elixir (QuickCheck style).
total releases 21most recent commit 4 years ago
Propcheck ⭐ 304
Property based Testing for Elixir (based upon PropEr)
dependent packages 4total releases 24most recent commit 4 months agohex propcheck} Downloads
Rapid ⭐ 284
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")
dependent packages 139total releases 25most recent commit 2 months ago
Triq ⭐ 279
Trifork QuickCheck
most recent commit 5 years ago
Qcheck ⭐ 275
QuickCheck inspired property-based testing for OCaml.
most recent commit 17 days ago
Erlog ⭐ 272
Prolog interpreter in and for Erlang
most recent commit 3 years ago
Rantly ⭐ 251
Ruby Imperative Random Data Generator and Quickcheck
dependent packages 8total releases 9most recent commit a year agorubygems rantly} Downloads
Safetyvalve ⭐ 250
A safety valve for your erlang node
most recent commit 5 years ago
Scala Hedgehog ⭐ 249
Release with confidence, state-of-the-art property testing for Scala.
dependent packages 10total releases 14most recent commit 4 days ago
Fsharp Hedgehog ⭐ 232
Release with confidence, state-of-the-art property testing for .NET.
dependent packages 2total releases 23most recent commit 12 days agonuget Hedgehog} Downloads
Quickspec ⭐ 215
Equational laws for free
total releases 9most recent commit 10 months ago
Rantly ⭐ 207
Ruby Imperative Random Data Generator and Quickcheck
most recent commit 6 years ago
Quickcheck State Machine ⭐ 192
Test monadic programs using state machine based models
most recent commit a year ago
Quickfuzz ⭐ 190
An experimental grammar fuzzer in Haskell using QuickCheck
most recent commit 2 years ago
Fgl ⭐ 165
A Functional Graph Library for Haskell
total releases 19most recent commit 2 months ago
Bughunt Rust ⭐ 158
QuickCheck bug hunting in Rust standard library data structures
most recent commit 3 years ago
Test.generative ⭐ 155
dependent packages 4total releases 17most recent commit a year ago
Crowbar ⭐ 153
Property fuzzing for OCaml
most recent commit 3 months ago
Php Quickcheck ⭐ 150
generative testing for PHP
dependent packages 1total releases 2most recent commit 2 years agopackagist steos/php-quickcheck} Downloads
Smallcheck ⭐ 124
Test your Haskell code by exhaustively checking its properties
most recent commit 18 days ago
Cppquickcheck ⭐ 106
QuickCheck-like property based automated testing tool for C++
most recent commit 5 years ago
Stdx Dev ⭐ 106
Rust's missing development batteries
most recent commit 5 years ago
Smartcheck ⭐ 98
A Smarter QuickCheck
total releases 6most recent commit 5 years ago
X86 64 ⭐ 93
Runtime code generation for x86 64 bit machine code
total releases 18most recent commit 5 months ago
Spaceleak ⭐ 90
Notes on space leaks
most recent commit 2 years ago
Purescript Test Unit ⭐ 82
An asynchronous unit test runner for PureScript
most recent commit 17 days ago
Generic Random ⭐ 79
Generic random generators
total releases 17most recent commit 18 days ago
Identikon ⭐ 76
Racket scripts for generating identicons
most recent commit 3 years ago
Hypothesis Java ⭐ 75
Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.
most recent commit 5 years ago
Javaerlang ⭐ 71
JavaErlang is a library that attempts to facilitate the communication between Java and Erlang nodes, implemented as an additional layer on top of the JInterface Java interface.
most recent commit 4 months ago
Erl Lenses ⭐ 68
Lens implementation in Erlang
most recent commit 7 years ago
Quickcheck ⭐ 65
Randomized testing for R
most recent commit 7 years ago
Kitimat ⭐ 63
A library for generative, property-based testing in TypeScript and Jest.
dependent packages 4total releases 9most recent commit 2 years agonpm kitimat} Downloads
Maxibonkatajava ⭐ 62
Maxibon kata for Java Developers. The main goal is to practice property based testing.
most recent commit 4 years ago
Cl Quickcheck ⭐ 62
cl-quickcheck - a Common Lisp port of the QuickCheck unit test framework
most recent commit 2 years ago
Projects ⭐ 60
Contains a list of security related Rust projects.
most recent commit 2 years ago
Cscheck ⭐ 59
Random testing library for C#
total releases 49most recent commit a month ago
Auto Fuzz Test ⭐ 57
Effortlessly fuzz libraries with large API surfaces
most recent commit 9 months ago
Qcstm ⭐ 54
A simple state-machine framework for OCaml based on QCheck
most recent commit 8 months ago
Paycheck ⭐ 53
A Python QuickCheck implementation
most recent commit 3 years ago
Agda2hs ⭐ 53
Compiling Agda code to readable Haskell
most recent commit 3 months ago
Msgdropsim ⭐ 52
Simulator for message passing protocols, supporting (really) unfair process scheduling and dropped messages
most recent commit 11 years ago
Propcheck ⭐ 50
Quickcheck/hypothesis style testing for elisp
most recent commit a year ago
Quick_check.js ⭐ 48
A JS implementation of quick_check
dependent packages 6total releases 11most recent commit 2 years agonpm quick_check} Downloads
Nltquickcheck ⭐ 47
like haskell quickcheck
most recent commit 8 years ago
Ava Fast Check ⭐ 45
Property based testing for AVA based on fast-check
most recent commit 12 hours ago
Purescript Jack ⭐ 42
QuickCheck with shrinking for free
most recent commit 2 years ago
Fake ⭐ 41
Generate realistic looking fake data
most recent commit a year ago
Split ⭐ 41
Standard Haskell list splitting library.
most recent commit 3 months ago
Pyqcy ⭐ 40
QuickCheck-like testing framework for Python
most recent commit 8 years ago
Xmonad ⭐ 38
xmonad in Coq
most recent commit 10 years ago
Servant Quickcheck ⭐ 38
most recent commit 2 years ago
Check It ⭐ 37
Randomized specification-based testing for Common Lisp. Available through Quicklisp.
most recent commit 3 years ago
Macchiato ⭐ 36
BDD + QDD testing framework for JavaScript
most recent commit 10 years ago
Mrproper ⭐ 33
Property Based Testing in Ruby
most recent commit 4 years ago
Lua Quickcheck ⭐ 32
Property based testing in Lua, inspired by the original QuickCheck.
most recent commit 4 months ago
Checkr ⭐ 32
Automatic verification and testing of R functions
most recent commit 5 years ago
Racket Quickcheck ⭐ 32
Quickcheck Clone implemented in Racket
most recent commit 12 days ago
Objcheck ⭐ 31
an ObjC port of the QuickCheck unit test framework
most recent commit 2 years ago
Lplzoo ⭐ 31
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
most recent commit 10 months ago
Propcheck ⭐ 30
Property based testing for kotlintest ported from quickcheck
most recent commit 2 years ago
Rlcheck ⭐ 28
RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
most recent commit 8 months ago
Easyspec ⭐ 28
Signature inference for Functional Property Discovery in Haskell
most recent commit 5 years ago
Speculate ⭐ 27
Speculate laws about Haskell functions
most recent commit 6 months ago
Haskell Testing Stub ⭐ 27
Stub project showing how to organize tests and benchmarks in Haskell
most recent commit 4 years ago
Efftester ⭐ 26
Effect-Driven Compiler Tester for OCaml
most recent commit 3 years ago
Purescript Strongcheck ⭐ 26
most recent commit 2 years ago
Haskell Decimal ⭐ 25
most recent commit a year ago
Ke E ⭐ 25
假的 (ké--ê) is a property-based testing library, inspired by QuickCheck, Hypothesis, JSVerify and faker.js.
most recent commit 5 years ago
Queencheck ⭐ 24
like haskell's QuickCheck
most recent commit 10 years ago
Rackcheck ⭐ 23
A property-based testing library for Racket.
most recent commit 3 months ago
Fast Check Examples ⭐ 22
Property based testing (QuickCheck) examples based on fast-check
most recent commit 19 days ago
Qc ⭐ 22
QuickCheck for Python
most recent commit 10 years ago
Fuzz Rest Api ⭐ 22
Derive property based testing fact-check into a fuzzer for REST APIs
most recent commit 3 years ago
Exampleholeplugin ⭐ 22
most recent commit 2 years ago
Quickcheck4c ⭐ 21
Property based testing framework based on QuickCheck
most recent commit 5 years ago
Bluecheck ⭐ 21
A generic test bench written in Bluespec
most recent commit a year ago
Rapidfuzz ⭐ 21
Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
most recent commit 4 years ago
1-100 of 396 projects
Related Awesome Lists
Haskell Quickcheck Projects (159)
Testing Quickcheck Projects (142)
Quickcheck Property Based Testing Projects (49)
Erlang Quickcheck Projects (48)
Javascript Quickcheck Projects (25)
Properties Quickcheck Projects (24)
Categories
Advertising 📦 8
All Projects
Application Programming Interfaces 📦 107
Applications 📦 174
Artificial Intelligence 📦 69
Blockchain 📦 66
Build Tools 📦 105
Cloud Computing 📦 68
Code Quality 📦 24
Collaboration 📦 27
Command Line Interface 📦 38
Community 📦 79
Companies 📦 60
Compilers 📦 59
Computer Science 📦 73
Configuration Management 📦 37
Content Management 📦 153
Control Flow 📦 187
Data Formats 📦 72
Data Processing 📦 249
Data Storage 📦 116
Economics 📦 56
Frameworks 📦 178
Games 📦 110
Graphics 📦 92
Hardware 📦 137
Integrated Development Environments 📦 43
Learning Resources 📦 139
Legal 📦 24
Libraries 📦 117
Lists Of Projects 📦 19
Machine Learning 📦 313
Mapping 📦 57
Marketing 📦 15
Mathematics 📦 54
Media 📦 214
Messaging 📦 96
Networking 📦 292
Operating Systems 📦 72
Operations 📦 114
Package Managers 📦 50
Programming Languages 📦 173
Runtime Environments 📦 90
Science 📦 42
Security 📦 342
Social Media 📦 23
Software Architecture 📦 65
Software Development 📦 60
Software Performance 📦 53
Software Quality 📦 116
Text Editors 📦 40
Text Processing 📦 118
User Interface 📦 291
User Interface Components 📦 440
Version Control 📦 26
Virtualization 📦 63
Web Browsers 📦 35
Web Servers 📦 23
Web User Interface 📦 167
Top Programming Languages
Javascript  (1,048,735)
Python  (796,103)
Java  (385,413)
Php  (284,589)
Typescript  (239,722)
C Plus Plus  (236,213)
Ruby  (221,696)
C  (180,396)
Shell  (169,594)
C Sharp  (162,015)
Golang  (156,089)
Swift  (64,698)
R  (57,248)
Objective C  (57,169)
Rust  (56,117)
Dart  (51,466)
Kotlin  (45,511)
Lua  (33,293)
Matlab  (30,891)
Perl  (30,483)
Language  (30,085)
Scala  (28,601)
Haskell  (20,260)
Clojure  (19,072)
Powershell  (18,797)
Bash  (18,606)
Coffeescript  (17,331)
Elixir  (16,565)
Assembly  (14,526)
Processing  (13,298)
Julia  (12,536)
Basic  (10,765)
Flow  (10,528)
Emacs Lisp  (10,368)
Erlang  (9,058)
Scheme  (8,437)
Groovy  (8,431)
Solidity  (7,611)
Ocaml  (6,668)
Pascal  (6,378)
Hack  (6,365)
Lisp  (6,340)
Fortran  (5,483)
Elm  (5,477)
Common Lisp  (5,277)
Dlang  (4,747)
Shell Script  (4,633)
Python Library  (4,446)
Crystal  (4,374)
Scripting  (4,203)
Top Projects
Freecodecamp ⭐ 346,432
996.icu ⭐ 262,320
Free Programming Books ⭐ 233,678
Coding Interview University ⭐ 220,499
Awesome ⭐ 202,578
Vue ⭐ 196,186
Developer Roadmap ⭐ 195,398
Public Apis ⭐ 193,925
React ⭐ 188,417
System Design Primer ⭐ 180,789
Tensorflow ⭐ 165,144
Bootstrap ⭐ 157,483
You Dont Know Js ⭐ 153,649
Cs Notes ⭐ 150,780
Ohmyzsh ⭐ 145,459
Build Your Own X ⭐ 142,246
Flutter ⭐ 140,926
Javascript Algorithms ⭐ 140,055
Python ⭐ 136,303
Gitignore ⭐ 133,450
Linux ⭐ 132,199
Vscode ⭐ 132,056
Awesome Python ⭐ 127,528
Javascript ⭐ 123,347
Javaguide ⭐ 121,667
Python 100 Days ⭐ 117,585
Computer Science ⭐ 113,544
Youtube Dl ⭐ 110,239
Fucking Algorithm ⭐ 106,048
The Art Of Command Line ⭐ 105,874
React Native ⭐ 102,862
Electron ⭐ 101,813
D3 ⭐ 100,901
Go ⭐ 99,493
30 Seconds Of Code ⭐ 95,528
Create React App ⭐ 95,174
Axios ⭐ 93,562
Awesome Selfhosted ⭐ 89,230
Kubernetes ⭐ 88,689
Free Programming Books Zh_cn ⭐ 88,386
Node ⭐ 87,823
Next.js ⭐ 87,114
Terminal ⭐ 83,251
Deno ⭐ 82,597
Three.js ⭐ 82,214
Angular ⭐ 81,516
Awesome Go ⭐ 81,089
Typescript ⭐ 80,876
Ant Design ⭐ 80,416
Material Ui ⭐ 78,638
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2022 Awesome Open Source.  All rights reserved.