NorfairKing/smos

A comprehensive self-management System

Language: Haskell - Size: 9.5 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 303 - Forks: 47

appmattus/kotlinfixture

Fixtures for Kotlin providing generated values for unit testing

Language: Kotlin - Size: 1010 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 279 - Forks: 17

typelevel/scalacheck

Property-based testing for Scala

Language: Scala - Size: 68.2 MB - Last synced at: about 20 hours ago - Pushed at: 2 days ago - Stars: 1,948 - Forks: 406

kotest/kotest

Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.

Language: Kotlin - Size: 26.7 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 4,589 - Forks: 675

flyingmutant/rapid

Rapid is a modern Go property-based testing library

Language: Go - Size: 438 KB - Last synced at: 1 day ago - Pushed at: 22 days ago - Stars: 643 - Forks: 28

JaCraig/Mecha

Mecha is a library designed to test your code in ways you probably never thought of before. It automatically finds edge cases and exceptions in your code with no input needed. Just point it at a class or method and fire away. It's even better than a cat laying on your keyboard at finding weird data for your tests.

Language: C# - Size: 26.1 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 2 - Forks: 2

nikitaDanilenko/foodie

Food statistics calculator based on the Canadian Nutrient File

Language: Elm - Size: 5.53 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 0 - Forks: 2

japgolly/nyaya

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

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

hedgehogqa/haskell-hedgehog

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

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

Qqwy/ruby-prop_check

Property Testing library in Ruby

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

camshaft/bolero

property testing and verification front-end for Rust

Language: C - Size: 2.98 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 202 - Forks: 23

ocaml-multicore/multicoretests

PBT testsuite and libraries for testing multicore OCaml

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

rudymatela/leancheck-instances

Common LeanCheck instances

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

whatyouhide/stream_data

Data generation and property-based testing for Elixir. 🔮

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

shubhampathak/akamai-config-checker

A command line tool to validate configuration on Akamai staging or production networks

Language: Go - Size: 34.2 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

AlexandreDecan/sismic

Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/

Language: Python - Size: 3.05 MB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 148 - Forks: 28

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

hedgehogqa/fsharp-hedgehog

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

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

sambacha/dslviem

DSL for testing Ethereum applications with property-based testing and mutation testing capabilities.

Language: TypeScript - Size: 68.4 KB - Last synced at: about 16 hours ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

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

MaxiCorrea/java-pragmatic-unit-testing

Java Pragmatic Unit Testing with Junit 5

Language: Java - Size: 80.1 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

propensive/probably

To probe what we can't prove, so the unprovable may become probable; testing for Scala

Language: Scala - Size: 4.64 MB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 55 - Forks: 12

rudymatela/extrapolate

generalize counter-examples of property-based testing

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

rudymatela/fitspec

refine properties for testing Haskell programs

Language: Haskell - Size: 636 KB - Last synced at: 9 days ago - Pushed at: 5 months ago - Stars: 74 - Forks: 0

rudymatela/speculate

Speculate laws about Haskell functions

Language: Haskell - Size: 1.05 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 30 - Forks: 0

rudymatela/leancheck

enumerative property-based testing for Haskell

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

typeclasses/hedgehog-optics

Hedgehog properties for optics laws

Language: Haskell - Size: 18.6 KB - Last synced at: 22 days ago - Pushed at: 5 months ago - Stars: 2 - Forks: 2

Bodigrim/smallcheck

Test your Haskell code by exhaustively checking its properties

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

mikkelmilo/rooster-spec

Automated Theory Exploration in Coq using Haskell's QuickSpec

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

NorfairKing/easyspec

Signature inference for Functional Property Discovery in Haskell

Language: Haskell - Size: 1.18 MB - Last synced at: 14 days ago - Pushed at: over 7 years ago - Stars: 38 - Forks: 2

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: about 1 month ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

FuzzyMonkeyCo/monkey

@FuzzyMonkeyCo's minion

Language: Go - Size: 1.29 MB - Last synced at: 11 days ago - Pushed at: 4 months ago - Stars: 20 - Forks: 1

jmid/wasm-prop-tester

A stack-driven generator of arbitrary WebAssembly programs

Language: OCaml - Size: 322 KB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 19 - Forks: 2

pointfreeco/swift-quickcheck

🏁 An implementation of QuickCheck in Swift.

Language: Swift - Size: 16.6 KB - Last synced at: 4 days ago - Pushed at: almost 5 years ago - Stars: 24 - Forks: 2

HiPhish/functional-fizzbuzz

(Mirror) An exercise in Python, functional programming and property testing

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

NicolasT/hedgehog-stateful-demo

A demonstration of stateful systems testing using Hedgehog

Language: Haskell - Size: 35.2 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

shfrmn/tap-fast-check

Property testing for Tap using fast-check

Language: TypeScript - Size: 41 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

1Jajen1/propCheck

Property based testing for kotlintest ported from quickcheck

Language: Kotlin - Size: 627 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 33 - Forks: 1

rpeszek/dag-check

Conceptual code for property testing of DAG graphs used for my work

Language: Haskell - Size: 26.4 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

wolfendale/scalacheck-gen-regexp

A library for creating Scalacheck generators from regular expressions

Language: Scala - Size: 42 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 22 - Forks: 1

dzikrisyairozi/dist-properties

A Collection of bug details for a Simple and Efficient Distributed Property Testing research purposes

Language: TypeScript - Size: 1.85 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

McSinyx/IntroClass Fork of ProgramRepair/IntroClass

The IntroClass benchmark with property tests

Language: Shell - Size: 151 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

uddaloksarkar/flash

Flash is a framework developed to test whether a Horn-sampler is epsilon-close or eta-far from a given distribution with confidence greater than 1-delta.

Language: Python - Size: 30.7 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

sullvn/tastes

Visualize software behavior with intelligent sampling

Language: TypeScript - Size: 2.13 MB - Last synced at: 16 days ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

typeclasses/loc-test

Hedgehog generators for the 'loc' package

Language: Nix - Size: 5.86 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

typeclasses/partial-semigroup-hedgehog

Language: Nix - Size: 9.77 KB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

Liqwid-Labs/plutarch-quickcheck 📦

Pain-free QuickCheck helpers for Plutarch

Language: Haskell - Size: 393 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 4

mtumilowicz/scala-zio2-test-aspects-property-based-testing-workshop

Introduction to test aspects and property based testing.

Language: Scala - Size: 87.9 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

elbaulp/Scala-Category-Theory

Bartosz Milewski great book on Category Theory implemented in scala, with property Tests

Language: Scala - Size: 34.2 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 30 - Forks: 4

byteally/hedgehog-gen

Customizable Gen for ADT using Generics

Language: Haskell - Size: 11.7 KB - Last synced at: 23 days ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 1

usernolan/fm

Concise syntax for embedding validation within functions

Language: Clojure - Size: 347 KB - Last synced at: 14 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 1

lastmjs/guesswork

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

Language: TypeScript - Size: 307 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0

shnewto/delimiteds

Using property testing to feel out the input space of "delimited text file"

Language: Scala - Size: 3.89 MB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

glebec/generative-testing-talk

Fast-Check example repo, in prep for a talk on property testing (aka invariant testing)

Language: TypeScript - Size: 46.9 KB - Last synced at: 4 months ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

dubzzz/breaking-return-true-to-win

Breaking 'return true to win' using Property based testing fast-check

Language: JavaScript - Size: 4.88 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 1

tmcgilchrist/ocaml-jack

QuickCheck with shrinking for free

Language: OCaml - Size: 60.5 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

PaulGrandperrin/fuzztest-rs

Easily test your software using powerful evolutionary, feedback-driven fuzzing technology.

Language: Rust - Size: 16.6 KB - Last synced at: 5 days ago - Pushed at: about 7 years ago - Stars: 6 - Forks: 1

elbaulp/elbaulp-scala.g8

Giter8 template for a simple Scala project with Property Checks, ScalaTest and log4j

Language: Scala - Size: 18.6 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

potatosalad/elixirconf2018

Sustainable Testing

Language: Elixir - Size: 4.51 MB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 7 - Forks: 0

ccanonne/phdthesis

This is my Ph.D. Thesis, defended at Columbia University in Fall 2017 (Computer Science).

Language: TeX - Size: 824 KB - Last synced at: 7 days ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

taylorjg/zammo

(yet another) Port of QuickCheck to JavaScript

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

taylorjg/ScalaCheckBookExamplesInTestCheck-js

Port of the examples in the ScalaCheck book to JavaScript and TestCheck.js

Language: JavaScript - Size: 6.84 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

taylorjg/ScalaCheckBookExamplesInJSVerify

Port of the examples in the ScalaCheck book to JavaScript and JSVerify

Language: JavaScript - Size: 26.4 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

TurpIF/QuickCheck

QuickCheck implementation in Java

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