Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for quickcheck
quickcheck
x
212 search results found
Fast Check
⭐
3,989
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
Functionaljava
⭐
1,549
Functional programming in Java
Swiftcheck
⭐
1,342
QuickCheck for Swift
Test.check
⭐
1,096
QuickCheck for Clojure
Fscheck
⭐
1,093
Random Testing for .NET
Junit Quickcheck
⭐
947
Property-based testing, JUnit-style
Rapidcheck
⭐
937
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
Stream_data
⭐
817
Data generation and property-based testing for Elixir. 🔮
Haskell Hedgehog
⭐
657
Release with confidence, state-of-the-art property testing for Haskell.
Tasty
⭐
628
Modern and extensible testing framework for Haskell
Fox
⭐
628
Property Based Testing Library for Objective-C and Swift. QuickCheck for Apple's Platforms.
Jqf
⭐
626
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Jscheck
⭐
569
A random property testing tool for JavaScript
Riak_cs
⭐
564
Riak CS is simple, available cloud storage built on Riak.
Jqwik
⭐
527
Property-Based Testing on the JUnit Platform
Quicktheories
⭐
502
Property based testing for Java 8
Rapid
⭐
479
Rapid is a modern Go property-based testing library
Flow Static Land
⭐
418
[DEPRECATED, please check out fp-ts] Implementation of common algebraic types in JavaScript + Flow
Eris
⭐
384
Eris is a porting of Quickcheck and property-based testing tools to the PHP and PHPUnit ecosystem.
Doctest
⭐
366
An implementation of Python's doctest for Haskell
Propcheck
⭐
347
Property based Testing for Elixir (based upon PropEr)
Erlog
⭐
324
Prolog interpreter in and for Erlang
Qcheck
⭐
323
QuickCheck inspired property-based testing for OCaml.
Excheck
⭐
305
Property-based testing library for Elixir (QuickCheck style).
Triq
⭐
279
Trifork QuickCheck
Rantly
⭐
270
Ruby Imperative Random Data Generator and Quickcheck
Scala Hedgehog
⭐
259
Release with confidence, state-of-the-art property testing for Scala.
Fsharp Hedgehog
⭐
257
Release with confidence, state-of-the-art property testing for .NET.
Safetyvalve
⭐
250
A safety valve for your erlang node
Quickspec
⭐
243
Equational laws for free
Rantly
⭐
207
Ruby Imperative Random Data Generator and Quickcheck
Quickcheck State Machine
⭐
192
Test monadic programs using state machine based models
Projects
⭐
186
Contains a list of security related Rust projects.
Fgl
⭐
181
A Functional Graph Library for Haskell
Php Quickcheck
⭐
178
generative testing for PHP
Crowbar
⭐
174
Property fuzzing for OCaml
Test.generative
⭐
158
Generative test runner
Bughunt Rust
⭐
158
QuickCheck bug hunting in Rust standard library data structures
Agda2hs
⭐
155
Compiling Agda code to readable Haskell
Smallcheck
⭐
134
Test your Haskell code by exhaustively checking its properties
Cppquickcheck
⭐
106
QuickCheck-like property based automated testing tool for C++
Stdx Dev
⭐
106
Rust's missing development batteries
Cscheck
⭐
101
Random testing library for C#
Smartcheck
⭐
98
A Smarter QuickCheck
Spaceleak
⭐
90
Notes on space leaks
Purescript Test Unit
⭐
82
An asynchronous unit test runner for PureScript
Generic Random
⭐
78
Generic random generators
Identikon
⭐
76
Racket scripts for generating identicons
Hypothesis Java
⭐
75
Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.
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.
Erl Lenses
⭐
68
Lens implementation in Erlang
Quickcheck
⭐
65
Randomized testing for R
Kitimat
⭐
63
A library for generative, property-based testing in TypeScript and Jest.
Maxibonkatajava
⭐
62
Maxibon kata for Java Developers. The main goal is to practice property based testing.
Ruby Prop_check
⭐
62
Property Testing library in Ruby
Cl Quickcheck
⭐
62
cl-quickcheck - a Common Lisp port of the QuickCheck unit test framework
Auto Fuzz Test
⭐
57
Effortlessly fuzz libraries with large API surfaces
Split
⭐
54
Standard Haskell list splitting library.
Qcstm
⭐
54
A simple state-machine framework for OCaml based on QCheck
Paycheck
⭐
53
A Python QuickCheck implementation
Msgdropsim
⭐
52
Simulator for message passing protocols, supporting (really) unfair process scheduling and dropped messages
Propcheck
⭐
50
Quickcheck/hypothesis style testing for elisp
Quick_check.js
⭐
48
A JS implementation of quick_check
Nltquickcheck
⭐
47
like haskell quickcheck
Ava Fast Check
⭐
45
Property based testing for AVA based on fast-check
Purescript Jack
⭐
42
QuickCheck with shrinking for free
Fake
⭐
41
Generate realistic looking fake data
Pyqcy
⭐
40
QuickCheck-like testing framework for Python
Xmonad
⭐
38
xmonad in Coq
Servant Quickcheck
⭐
38
Check It
⭐
37
Randomized specification-based testing for Common Lisp. Available through Quicklisp.
Macchiato
⭐
36
BDD + QDD testing framework for JavaScript
Multicoretests
⭐
36
PBT testsuite and libraries for testing multicore OCaml
Mrproper
⭐
33
Property Based Testing in Ruby
Lua Quickcheck
⭐
32
Property based testing in Lua, inspired by the original QuickCheck.
Racket Quickcheck
⭐
32
Quickcheck Clone implemented in Racket
Checkr
⭐
32
Automatic verification and testing of R functions
Lplzoo
⭐
31
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Objcheck
⭐
31
an ObjC port of the QuickCheck unit test framework
Propcheck
⭐
30
Property based testing for kotlintest ported from quickcheck
Speculate
⭐
30
Speculate laws about Haskell functions
Pbt Frameworks
⭐
29
An overview of property-based testing functionality
Rlcheck
⭐
28
RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
Rackcheck
⭐
28
A property-based testing library for Racket.
Easyspec
⭐
28
Signature inference for Functional Property Discovery in Haskell
Regenerate
⭐
28
Tool to generate test-cases for regular expression engines
Haskell Testing Stub
⭐
27
Stub project showing how to organize tests and benchmarks in Haskell
Hypothesis_sqlalchemy
⭐
26
hypothesis strategies for generating SQLAlchemy objects
Efftester
⭐
26
Effect-Driven Compiler Tester for OCaml
Purescript Strongcheck
⭐
26
Haskell Decimal
⭐
25
Ke E
⭐
25
假的 (ké--ê) is a property-based testing library, inspired by QuickCheck, Hypothesis, JSVerify and faker.js.
Queencheck
⭐
24
like haskell's QuickCheck
Quickcheck Dynamic
⭐
23
A library for stateful property-based testing
Exampleholeplugin
⭐
22
Fuzz Rest Api
⭐
22
Derive property based testing fact-check into a fuzzer for REST APIs
Qc
⭐
22
QuickCheck for Python
Fast Check Examples
⭐
22
Property based testing (QuickCheck) examples based on fast-check
Roboservant
⭐
21
generate contextually sensible fuzz tests for servant apps
Rapidfuzz
⭐
21
Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
Related Searches
Haskell Quickcheck (160)
Testing Quickcheck (142)
Quickcheck Property Based Testing (52)
Erlang Quickcheck (47)
1-100 of 212 search results
Next >
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.