Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: property-testing

Repositories

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: 18.1 MB - Last synced: about 3 hours ago - Pushed: about 5 hours ago - Stars: 1 - Forks: 1

kotest/kotest

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

Language: Kotlin - Size: 23.6 MB - Last synced: about 22 hours ago - Pushed: 1 day ago - Stars: 4,304 - Forks: 619

nikitaDanilenko/foodie

Food statistics calculator based on the Canadian Nutrient File

Language: Elm - Size: 5.22 MB - Last synced: 2 days ago - Pushed: 3 days ago - Stars: 0 - Forks: 2

hedgehogqa/haskell-hedgehog

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

Language: Haskell - Size: 929 KB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 663 - Forks: 110

flyingmutant/rapid

Rapid is a modern Go property-based testing library

Language: Go - Size: 415 KB - Last synced: 5 days ago - Pushed: 5 days ago - Stars: 543 - Forks: 25

propensive/probably

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

Language: Scala - Size: 4.77 MB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 55 - Forks: 12

whatyouhide/stream_data

Data generation and property-based testing for Elixir. 🔮

Language: Elixir - Size: 424 KB - Last synced: 9 days ago - Pushed: about 2 months ago - Stars: 843 - Forks: 68

NorfairKing/smos

A comprehensive self-management System

Language: Haskell - Size: 8.61 MB - Last synced: 16 days ago - Pushed: about 1 month ago - Stars: 283 - Forks: 47

atilaneves/unit-threaded

Advanced unit test framework for D

Language: D - Size: 1.48 MB - Last synced: 14 days ago - Pushed: 16 days ago - Stars: 120 - Forks: 37

NorfairKing/easyspec

Signature inference for Functional Property Discovery in Haskell

Language: Haskell - Size: 1.18 MB - Last synced: 16 days ago - Pushed: over 6 years ago - Stars: 36 - Forks: 2

Qqwy/ruby-prop_check

Property Testing library in Ruby

Language: Ruby - Size: 315 KB - Last synced: 3 days ago - Pushed: 3 months ago - Stars: 71 - Forks: 10

camshaft/bolero

property testing and verification front-end for Rust

Language: C - Size: 2.65 MB - Last synced: 23 days ago - Pushed: 23 days ago - Stars: 167 - Forks: 14

ocaml-multicore/multicoretests

PBT testsuite and libraries for testing multicore OCaml

Language: OCaml - Size: 2.69 MB - Last synced: 28 days ago - Pushed: 28 days ago - Stars: 36 - Forks: 14

ccanonne/phdthesis

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

Language: TeX - Size: 824 KB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 2 - Forks: 0

typelevel/scalacheck

Property-based testing for Scala

Language: Scala - Size: 68.1 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 1,930 - Forks: 403

appmattus/kotlinfixture

Fixtures for Kotlin providing generated values for unit testing

Language: Kotlin - Size: 1010 KB - Last synced: 24 days ago - Pushed: 3 months ago - Stars: 246 - Forks: 13

rudymatela/fitspec

refine properties for testing Haskell programs

Language: Haskell - Size: 634 KB - Last synced: 22 days ago - Pushed: 3 months ago - Stars: 74 - Forks: 0

AlexandreDecan/sismic

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

Language: Python - Size: 3.01 MB - Last synced: about 1 month ago - Pushed: 3 months ago - Stars: 137 - Forks: 25

hedgehogqa/fsharp-hedgehog

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

Language: F# - Size: 3.73 MB - Last synced: 16 days ago - Pushed: 9 months ago - Stars: 270 - Forks: 31

rudymatela/leancheck

enumerative property-based testing for Haskell

Language: Haskell - Size: 1.28 MB - Last synced: 18 days ago - Pushed: 3 months ago - Stars: 51 - Forks: 7

jmid/wasm-prop-tester

A stack-driven generator of arbitrary WebAssembly programs

Language: OCaml - Size: 322 KB - Last synced: 2 months ago - Pushed: over 2 years ago - Stars: 20 - Forks: 2

Bodigrim/smallcheck

Test your Haskell code by exhaustively checking its properties

Language: Haskell - Size: 298 KB - Last synced: 16 days ago - Pushed: 12 months ago - Stars: 133 - Forks: 16

jmid/pbt-frameworks

An overview of property-based testing functionality

Size: 46.9 KB - Last synced: 2 months ago - Pushed: almost 2 years ago - Stars: 43 - Forks: 2

FuzzyMonkeyCo/monkey

@FuzzyMonkeyCo's minion

Language: Go - Size: 1.23 MB - Last synced: 1 day ago - Pushed: 2 days ago - Stars: 20 - Forks: 1

shfrmn/tap-fast-check

Property testing for Tap using fast-check

Language: TypeScript - Size: 41 KB - Last synced: 4 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

shubhampathak/akamai-config-checker

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

Language: Go - Size: 24.4 KB - Last synced: 9 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

1Jajen1/propCheck

Property based testing for kotlintest ported from quickcheck

Language: Kotlin - Size: 627 KB - Last synced: 9 months ago - Pushed: over 4 years ago - Stars: 33 - Forks: 1

usernolan/fm

Concise syntax for embedding validation within functions

Language: Clojure - Size: 347 KB - Last synced: 9 months ago - Pushed: about 1 year ago - Stars: 1 - Forks: 1

mikkelmilo/rooster-spec

Automated Theory Exploration in Coq using Haskell's QuickSpec

Language: Coq - Size: 160 KB - Last synced: 10 months ago - Pushed: almost 3 years ago - Stars: 2 - Forks: 1

shnewto/delimiteds

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

Language: Scala - Size: 3.89 MB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

rpeszek/dag-check

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

Language: Haskell - Size: 26.4 KB - Last synced: 10 months ago - Pushed: over 5 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: 10 months ago - Pushed: over 1 year ago - Stars: 22 - Forks: 1

typeclasses/hedgehog-optics

Hedgehog properties for optics laws

Language: Haskell - Size: 17.6 KB - Last synced: 14 days ago - Pushed: 11 months ago - Stars: 2 - Forks: 2

pointfreeco/swift-quickcheck

🏁 An implementation of QuickCheck in Swift.

Language: Swift - Size: 16.6 KB - Last synced: 9 days ago - Pushed: almost 4 years ago - Stars: 24 - Forks: 3

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

McSinyx/IntroClass Fork of ProgramRepair/IntroClass

The IntroClass benchmark with property tests

Language: Shell - Size: 151 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

Related Keywords

property-testing 60 property-based-testing 32 testing 22 quickcheck 17 haskell 13 testing-tools 8 scala 8 test 7 hacktoberfest 5 enumerative-testing 5 leancheck 5 haskell-library 4 scalacheck 4 javascript 4 functional-programming 3 fuzzing 3 kotlin 3 fast-check 3 unit-testing 3 test-framework 3 fuzz-testing 2 honggfuzz 2 random 2 fuzz 2 jsverify 2 quickspec 2 security 2 integration-testing 2 tests 2 state-machine-testing 2 elixir 2 test-automation 2 es2015 2 testing-tool 2 hedgehog 2 generative-testing 2 theory-exploration 2 generalization 1 aspect 1 property-discovery 1 testing-library 1 plutarch 1 text 1 state-machine 1 scalajs 1 generative 1 haskell-learning 1 generated-input 1 multiline 1 scalatest 1 spark 1 spark-options 1 spark-sql 1 tsv 1 unicode 1 dag 1 regexp 1 optics 1 swift 1 distributed-systems 1 benchmark 1 program-repair 1 sampler 1 verification 1 fp 1 random-data-generation 1 functional 1 invariant-testing 1 talk 1 return-true-to-win 1 ocaml 1 automation-test 1 crate 1 crates-io 1 fuzzer 1 rust 1 security-testing 1 security-tools 1 g8 1 giter8 1 giter8-template 1 scala-template 1 erlang 1 monads 1 testcheck-js 1 aspect-oriented 1 aspect-oriented-programming 1 aspects 1 polymorphic-functions 1 workshop 1 workshop-materials 1 zio 1 zio-effect 1 zio-test 1 zio2 1 bartosz 1 category-theory 1 browser-testing 1 headless-tests 1 karma 1

GitHub topics: property-testing

McSinyx/IntroClass Fork of ProgramRepair/IntroClass

Liqwid-Labs/plutarch-quickcheck 📦