honzabrecka/rapid-check

Yet another implementation of property based testing framework

Language: JavaScript - Size: 646 KB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

dubzzz/jsverify-commands

Bring commands to JSVerify property-based testing framework

Language: JavaScript - Size: 78.1 KB - Last synced at: 11 days ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 1

Guang1234567/Swift_QuickCheck

QuickCheck for Swift.

Language: Swift - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

naviat/aws-alias-cli

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

Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

ChristianMurphy/mdast-util-arbitrary

Generate arbitrary mdast with fast check

Language: TypeScript - Size: 129 KB - Last synced at: 3 days ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

jmid/luata-quickcheck

Lua type analysis and corresponding QuickCheck code

Language: HTML - Size: 1.93 MB - Last synced at: 21 days ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 1

ricardomilhazes/SoftwareTesting

Project made for Software Analysis and Testing class

Language: C - Size: 23.5 MB - Last synced at: 26 days ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

tmcgilchrist/ocaml-jack

QuickCheck with shrinking for free

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

static-clouds/sudoku-sat

A sudoku solver, using SAT

Language: Haskell - Size: 60.5 KB - Last synced at: about 15 hours ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

eddmann/enigma-machine-haskell

Haskell, HUnit and QuickCheck

Language: Haskell - Size: 34.2 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

chris-martin/disorder.hs Fork of icicle-lang/disorder.hs-ambiata

QuickCheck extras.

Language: Haskell - Size: 344 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

Cotel/AVD

A repository for backing up and sharing AVD exercises

Language: Haskell - Size: 16.6 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 0

athanclark/symbiote

Data serialization verification implementation

Language: Haskell - Size: 288 KB - Last synced at: about 24 hours ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

swetools/oqc

QuickCheck-like testing framework for Ocaml

Language: OCaml - Size: 108 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

ilyasergey/geometry-testing

Geometry Generation and Testing Framework

Language: Scala - Size: 4.9 MB - Last synced at: 27 days ago - Pushed at: almost 9 years ago - Stars: 1 - Forks: 0

athanclark/purescript-quickcheck-combinators

Typelevel combinators for quickcheck, in purescript

Language: PureScript - Size: 6.84 KB - Last synced at: 4 days ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

MartinNowak/qcheck

QuickCheck like test library

Language: D - Size: 188 KB - Last synced at: 4 days ago - Pushed at: about 7 years ago - Stars: 8 - Forks: 1

mattaudesse/haskell-99-problems

Ninety-Nine Haskell Problems

Language: Haskell - Size: 26.4 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 5 - Forks: 1

trollaklass/troll-of-fame-haskell

Haskell code for the Troll Aklass workshop on Property Based Tests

Language: Haskell - Size: 159 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

dfordivam/reflex-type-simplify

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

Language: Haskell - Size: 8.79 KB - Last synced at: 5 days ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0

minad/quickcheck-special

Edge cases and special values for QuickCheck Arbitrary instances

Language: Haskell - Size: 27.3 KB - Last synced at: 12 days ago - Pushed at: over 7 years ago - Stars: 5 - Forks: 0

shmink/quickcheck_test

Testing out a quickcheck example, looks like it might be good for a simple reference.

Language: Elixir - Size: 3.91 KB - Last synced at: 9 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

vendethiel/Sixcheck

Quickchecking in Perl6.

Language: Perl6 - Size: 7.81 KB - Last synced at: 18 days ago - Pushed at: over 8 years ago - Stars: 4 - Forks: 0

taylorjg/scalacheck-book-examples-in-fast-check

Port of some of the examples in the ScalaCheck book to JavaScript and fast-check

Language: JavaScript - Size: 41 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

skhoroshavin/qcc

QuickCheck for C

Language: C - Size: 150 KB - Last synced at: about 2 months ago - Pushed at: about 8 years ago - Stars: 3 - Forks: 0

Centril/proptest-derive

Custom-derive for the Arbitrary trait of proptest.

Language: Rust - Size: 65.4 KB - Last synced at: 27 days ago - Pushed at: about 7 years ago - Stars: 3 - Forks: 0

MortalFlesh/bulletproof

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

Language: PHP - Size: 15.6 KB - Last synced at: 17 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0

jinilover/rovers

Language: Haskell - Size: 19.5 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

alextanhongpin/go-fuzz

Learning the art of fuzzing, and also QuickCheck to improve test coverage

Language: Go - Size: 1.95 KB - Last synced at: 30 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

PurpleBooth/kata-quickcheck-fizzbuzz

Language: Rust - Size: 4.88 KB - Last synced at: 29 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

persimmon-projects/Persimmon.Dried

Random testing for Persimmon

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

akash-07/quickTest

An atom plugin integrating quickCheck and hpc to test and debug haskell programs.

Language: JavaScript - Size: 5.86 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

SimonRichardson/shrink

Shrink test cases using go stdlib quick.Check

Language: Go - Size: 22.5 KB - Last synced at: 30 days ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

alvarogarcia7/camel-snake-pascal-kebab-kata-clojure

This is a study (i.e., an etude), to practice message dispatching and property-based testing. In Clojure

Language: Clojure - Size: 21.5 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

taylorjg/zammo

(yet another) Port of QuickCheck to JavaScript

Language: JavaScript - Size: 67.4 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

Chouffe/quickcheck-demo

Learning Lunch @Airbnb

Language: Haskell - Size: 4.88 KB - Last synced at: about 1 month ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0

Jared-Prime/hkata

Language: Haskell - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

unitb/axiomatic-classes

Specify axioms for type classes and quickCheck all available instances

Language: Haskell - Size: 193 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

rpereira/tasks-api

Task management app written in Haskell using Servant framework

Language: Haskell - Size: 12.7 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

shamrin/bigcheck

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

Language: JavaScript - Size: 160 KB - Last synced at: 30 days ago - Pushed at: over 10 years ago - Stars: 1 - Forks: 0

NewMountain/morseCode

Morse code example from chapter 14: testing in Haskell

Language: Haskell - Size: 8.79 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

NewMountain/haskellTesting

Chapter 14 from the glorious Haskell Book on testing in Haskell

Language: Haskell - Size: 6.84 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0