jam-khan/EnvCap

Implementation of EnvCap: A Programming Language with Capabilities as First-Class Modules using λₑ with extensions as the Core Calculus.

Language: Haskell - Size: 23 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0

dubzzz/fast-check

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

Language: TypeScript - Size: 43.3 MB - Last synced at: 1 day ago - Pushed at: 3 days ago - Stars: 4,485 - Forks: 189

c-cube/qcheck

QuickCheck inspired property-based testing for OCaml.

Language: OCaml - Size: 3.18 MB - Last synced at: 4 days ago - Pushed at: 19 days ago - Stars: 371 - Forks: 41

jmid/pbt-frameworks

An overview of property-based testing functionality

Size: 40 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 61 - Forks: 3

flyingmutant/rapid

Rapid is a modern Go property-based testing library

Language: Go - Size: 429 KB - Last synced at: about 4 hours ago - Pushed at: about 2 months ago - Stars: 631 - Forks: 27

whatyouhide/stream_data

Data generation and property-based testing for Elixir. 🔮

Language: Elixir - Size: 483 KB - Last synced at: 5 days ago - Pushed at: 27 days ago - Stars: 898 - Forks: 67

jqwik-team/jqwik

Property-Based Testing on the JUnit Platform

Language: Java - Size: 23.9 MB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 589 - Forks: 64

hedgehogqa/haskell-hedgehog

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

Language: Haskell - Size: 958 KB - Last synced at: 10 days ago - Pushed at: 21 days ago - Stars: 686 - Forks: 107

rantly-rb/rantly

Ruby Imperative Random Data Generator and Quickcheck

Language: Ruby - Size: 7.28 MB - Last synced at: 5 days ago - Pushed at: 6 months ago - Stars: 279 - Forks: 21

hedgehogqa/fsharp-hedgehog

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

Language: F# - Size: 3.73 MB - Last synced at: 12 days ago - Pushed at: 13 days ago - Stars: 276 - Forks: 30

ocaml-multicore/multicoretests

PBT testsuite and libraries for testing multicore OCaml

Language: OCaml - Size: 3.21 MB - Last synced at: 5 days ago - Pushed at: 9 days ago - Stars: 39 - Forks: 16

fscheck/FsCheck

Random Testing for .NET

Language: F# - Size: 17 MB - Last synced at: about 8 hours ago - Pushed at: 13 days ago - Stars: 1,180 - Forks: 161

hspec/hspec

A Testing Framework for Haskell

Language: Haskell - Size: 4.78 MB - Last synced at: 10 days ago - Pushed at: 15 days ago - Stars: 768 - Forks: 105

typelift/SwiftCheck

QuickCheck for Swift

Language: Swift - Size: 1.55 MB - Last synced at: 9 days ago - Pushed at: about 3 years ago - Stars: 1,416 - Forks: 105

rohanpadhye/JQF

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

Language: Java - Size: 5.25 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 695 - Forks: 116

pholser/junit-quickcheck

Property-based testing, JUnit-style

Language: Java - Size: 17.5 MB - Last synced at: 6 days ago - Pushed at: 5 months ago - Stars: 966 - Forks: 123

UnkindPartition/tasty

Modern and extensible testing framework for Haskell

Language: Haskell - Size: 920 KB - Last synced at: 5 days ago - Pushed at: 26 days ago - Stars: 648 - Forks: 109

mcuntz/dfvue

A minimal GUI for a quick view of csv files

Language: Python - Size: 42.4 MB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

jonathanknowles/monoidmap-quickcheck

QuickCheck support for the monoidmap package.

Language: Haskell - Size: 96.7 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 1 - Forks: 0

hauleth/stream_state

Stateful generative testing for Elixir implemented on top of StreamData

Language: Elixir - Size: 25.4 KB - Last synced at: 15 days ago - Pushed at: over 6 years ago - Stars: 13 - Forks: 0

AnthonyLloyd/CsCheck

Random testing library for C#

Language: C# - Size: 1.15 MB - Last synced at: 12 days ago - Pushed at: 5 months ago - Stars: 175 - Forks: 5

jonathanknowles/quickcheck-monoid-subclasses

Support for testing instances of classes defined in the monoid-subclasses library.

Language: Haskell - Size: 2.96 MB - Last synced at: 24 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 1

jmid/qcstm

A simple state-machine framework for OCaml based on QCheck

Language: OCaml - Size: 41 KB - Last synced at: 22 days ago - Pushed at: over 3 years ago - Stars: 66 - Forks: 6

lycantropos/hypothesis_sqlalchemy

hypothesis strategies for generating SQLAlchemy objects

Language: Python - Size: 202 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 29 - Forks: 9

dubzzz/fast-check-examples

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

Language: JavaScript - Size: 147 KB - Last synced at: 19 days ago - Pushed at: 5 months ago - Stars: 26 - Forks: 4

keera-studios/haskell-titan

Testing Infrastructure for Temporal AbstractioNs

Language: Haskell - Size: 578 KB - Last synced at: 14 days ago - Pushed at: over 4 years ago - Stars: 23 - Forks: 0

hychen/ke-e

假的 (ké--ê) is a property-based testing library, inspired by QuickCheck, Hypothesis, JSVerify and faker.js.

Language: TypeScript - Size: 2.1 MB - Last synced at: 9 days ago - Pushed at: almost 8 years ago - Stars: 26 - Forks: 1

jonathanknowles/quickcheck-groups

QuickCheck support for testing instances of classes defined in the groups library.

Language: Haskell - Size: 380 KB - Last synced at: 24 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 1

msoedov/quick.py

Property-based testing library for Python

Language: Python - Size: 56.6 KB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 3

NorfairKing/easyspec

Signature inference for Functional Property Discovery in Haskell

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

dubzzz/fuzz-rest-api

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

Language: JavaScript - Size: 63.5 KB - Last synced at: 20 days ago - Pushed at: about 4 years ago - Stars: 39 - Forks: 6

panicbit/quickcheck_derive

Derives quickcheck traits

Language: Rust - Size: 19.5 KB - Last synced at: 11 days ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 3

ifigueroap/racket-quickcheck

Quickcheck Clone implemented in Racket

Language: Racket - Size: 780 KB - Last synced at: 5 days ago - Pushed at: 9 months ago - Stars: 31 - Forks: 16

lycantropos/hypothesis_geometry

`hypothesis` strategies for geometries

Language: Python - Size: 721 KB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 12 - Forks: 0

jmid/lcheck

A library for quickchecking lattice modules and associated operations

Language: OCaml - Size: 164 KB - Last synced at: 22 days ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 3

jmid/wasm-prop-tester

A stack-driven generator of arbitrary WebAssembly programs

Language: OCaml - Size: 322 KB - Last synced at: 22 days ago - Pushed at: over 3 years ago - Stars: 19 - Forks: 2

input-output-hk/quickcheck-dynamic

A library for stateful property-based testing

Language: Haskell - Size: 448 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 28 - Forks: 7

Qqwy/ruby-prop_check

Property Testing library in Ruby

Language: Ruby - Size: 315 KB - Last synced at: 6 months ago - Pushed at: 8 months ago - Stars: 86 - Forks: 10

jakoschiko/dicetest

Framework for writing tests with randomly generated test data

Language: Rust - Size: 549 KB - Last synced at: 21 days ago - Pushed at: 7 months ago - Stars: 14 - Forks: 0

Centril/proptest-quickcheck-interop

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

Language: Rust - Size: 16.6 KB - Last synced at: 9 days ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0

pointfreeco/swift-quickcheck

🏁 An implementation of QuickCheck in Swift.

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

advancedtelematic/quickcheck-state-machine-distributed 📦

Test monadic programs using state machine based models

Language: Haskell - Size: 72.3 KB - Last synced at: 18 days ago - Pushed at: almost 7 years ago - Stars: 6 - Forks: 0

alonsodomin/haskell-schema

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

Language: Haskell - Size: 116 KB - Last synced at: 3 days ago - Pushed at: about 3 years ago - Stars: 20 - Forks: 0

grimerssy/prop-test

Formattable proptest macro

Language: Rust - Size: 10.7 KB - Last synced at: 21 days ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

PurpleBooth/coin-change 📦

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

SophieBosio/contra

A friendly functional language for finding counterexamples 🎯

Language: Haskell - Size: 1000 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 7 - Forks: 0

dubzzz/ava-fast-check 📦

Property based testing for AVA based on fast-check

Language: JavaScript - Size: 259 KB - Last synced at: 5 months ago - Pushed at: almost 3 years ago - Stars: 45 - Forks: 4

NicolasT/hedgehog-stateful-demo

A demonstration of stateful systems testing using Hedgehog

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

garbles/kitimat

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

Language: TypeScript - Size: 764 KB - Last synced at: 9 days ago - Pushed at: over 2 years ago - Stars: 68 - Forks: 1

Wilfred/propcheck

Quickcheck/hypothesis style testing for elisp

Language: Emacs Lisp - Size: 106 KB - Last synced at: 27 days ago - Pushed at: about 4 years ago - Stars: 58 - Forks: 1

hpi-swa-teaching/SqueakCheck

SqueakCheck

Language: Smalltalk - Size: 376 KB - Last synced at: 9 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

schneiderfelipe/quickcheck 📦

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

Language: Nim - Size: 39.1 KB - Last synced at: 12 months ago - Pushed at: over 3 years ago - Stars: 12 - Forks: 1

jmid/qc-ptrees

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

Language: OCaml - Size: 113 KB - Last synced at: 22 days ago - Pushed at: almost 6 years ago - Stars: 12 - Forks: 2

ariady-putra/haskell-security-check-test

Haskell unit testing using HUnit and QuickCheck

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

WojciechMigda/rapidcheck-csv

Playing with rapidcheck

Language: C++ - Size: 3.91 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

quicktheories/QuickTheories

Property based testing for Java 8

Language: Java - Size: 493 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 501 - Forks: 51

software-engineering-amsterdam/ST2018_WG_10

Solutions of Working Group No. 10

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

nicoabie/quickcheck

Randomized testing for Prolog à la QuickCheck

Language: Prolog - Size: 72.3 KB - Last synced at: 11 months ago - Pushed at: over 5 years ago - Stars: 20 - Forks: 1

maximkulkin/hypothesis-regex

Hypothesis extension to allow generating strings based on regex

Language: Python - Size: 14.6 KB - Last synced at: 5 days ago - Pushed at: over 6 years ago - Stars: 26 - Forks: 2

athanclark/purescript-symbiote

Data serialization verification implementation

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

gampleman/quick_check.js

A JS implementation of quick_check

Language: CoffeeScript - Size: 541 KB - Last synced at: 6 days ago - Pushed at: almost 5 years ago - Stars: 46 - Forks: 2

Lysxia/generic-random

Generic random generators

Language: Haskell - Size: 285 KB - Last synced at: 11 days ago - Pushed at: about 2 years ago - Stars: 81 - Forks: 6

git-afsantos/rosqc

ROS node testing based on Python Hypothesis

Language: Python - Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

jmid/efftester

Effect-Driven Compiler Tester for OCaml

Language: OCaml - Size: 29.3 KB - Last synced at: 22 days ago - Pushed at: over 5 years ago - Stars: 38 - Forks: 5

DalekBaldwin/check-it

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

Language: Common Lisp - Size: 221 KB - Last synced at: 12 months ago - Pushed at: over 4 years ago - Stars: 51 - Forks: 10

athanclark/quickcheck-combinators

type-level combinators for quickcheck instances

Language: Haskell - Size: 17.6 KB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

ruanmartinelli/property-based-testing-patterns

property-based testing patterns examples

Language: JavaScript - Size: 1020 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

1Jajen1/propCheck

Property based testing for kotlintest ported from quickcheck

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

tamarit/edd

Erlang Declarative Debugger

Language: Erlang - Size: 5.3 MB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 20 - Forks: 4

ddubson/collect

Read a Git project directory, and resolve the stack used - a CLI tool.

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

lukeg101/lplzoo

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

Language: Haskell - Size: 1.96 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 37 - Forks: 1

SergeyBel/phpinvariant

PHP property-based testing framework

Language: PHP - Size: 199 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

pkalikman/Checkers.jl

QuickCheck-like automated testing for Julia

Language: Julia - Size: 490 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 21 - Forks: 4

advancedtelematic/quickcheck-state-machine 📦

Test monadic programs using state machine based models

Language: Haskell - Size: 2.71 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 200 - Forks: 23

datashaman/phpcheck

PHP implementation of Haskell's QuickCheck.

Language: PHP - Size: 1.16 MB - Last synced at: 17 days ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0

Quviq/QuickCheckExamples

Example QuickCheck models

Language: Erlang - Size: 12.7 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 12 - Forks: 2

regex-generate/regenerate

Tool to generate test-cases for regular expression engines

Language: OCaml - Size: 1.5 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 28 - Forks: 3

jeffh/check.statem

Facilities for generating test programs using state machines.

Language: Clojure - Size: 184 KB - Last synced at: 1 day ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 0

suchapalaver/newsletter

newsletter learning project based on the actix-web framework

Language: Rust - Size: 163 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

NicolasT/lawful-classes

Classes with laws lead to more lawful instances

Language: Haskell - Size: 37.1 KB - Last synced at: 11 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

herulume/ATSUMinho 📦

Analysis of Java projects

Language: Java - Size: 4.82 MB - Last synced at: 5 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

kappelmann/SpecCheck 📦

QuickCheck-like testing framework for Isabelle/ML

Language: Standard ML - Size: 268 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

TimeExceed/rs_quickcheck_util

many helper functions and macros to ease usage of quickcheck of Rust

Language: Rust - Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

Liqwid-Labs/plutarch-quickcheck 📦

Pain-free QuickCheck helpers for Plutarch

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

joaopaulq/flr

💡 functional implementation of linear regression

Language: Haskell - Size: 51.8 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

spamegg1/haskell-prog

Working through the book "Get Programming with Haskell" by Will Kurt

Language: Haskell - Size: 2.64 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

Lysxia/quickcheck-higherorder

QuickCheck extension for higher-order properties

Language: Haskell - Size: 80.1 KB - Last synced at: 12 months ago - Pushed at: about 3 years ago - Stars: 16 - Forks: 1

sambacha/forge-threat-user

Contracts for simulating and re-creating exploits

Language: Solidity - Size: 13.7 KB - Last synced at: 1 day ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

jaalonso/FormulasYpolinomios

Sistema certificado de decisión proposicional basado en polinomios.

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

briansunter/haskell-supermemo

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

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

leondejong/haskell-playground

Haskell Examples

Language: Haskell - Size: 21.5 KB - Last synced at: 28 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

waynevanson/fp-ts-quickcheck

fp-ts but QuickCheck (partial port)

Language: TypeScript - Size: 1.75 MB - Last synced at: 8 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

wespl/haskell-testing-lecture

To be used for the lecture about testing in Haskell

Language: Haskell - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 1

delonnewman/gen-test

Generative or property based testing for Ruby

Language: Ruby - Size: 28.3 KB - Last synced at: 25 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

the-dr-lazy/purescript-quickcheck-state-machine Fork of meeshkan/purescript-quickcheck-mbt

Test monadic PureScript programs using state machine based models

Language: PureScript - Size: 52.7 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

kafji/quickcheck-derive

Procedural macro for deriving Quickcheck's Arbitrary trait

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

lastmjs/guesswork

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

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

mattaudesse/haskellbook-exercises

Haskell Book Exercises

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

trollaklass/troll-of-fame-java

Java code for the Troll Aklass workshop on Property Based Tests

Language: Java - Size: 224 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 2

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: about 2 months ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0