jsverify

There are 11 repositories under jsverify topic.

Risto-Stevcev/bs-jsverify
Jsverify bindings for bucklescript
Language:OCaml9 3 03
imranolas/ava-jsverify
An interface for running jsverify property based tests with AVA
Language:JavaScript4 0 00
dubzzz/jsverify-commands
Bring commands to JSVerify property-based testing framework
Language:JavaScript3 2 161
lastmjs/guesswork
Framework for property-based testing in JavaScript, TypeScript, JSX, and TSX.
Language:TypeScript3 1 40
dubzzz/jsverify-to-fast-check
Set of tools and helpers to help JSVerify users to migrate to fast-check
Language:TypeScript2 2 0
goblindegook/talk-more-tests-less-work-code
Code examples for the More Tests, Less Work talk.
Language:TypeScript1 1 0
dubzzz/scala-2048
2048 in Scala
Language:Scala3 3
hgwood/typescript-property-based-testing-poc
Proof of concept for property-based testing in TypeScript
Language:TypeScript1 0
PrivateBin/docker-unit-testing
PrivateBin docker image to run the unit testing suite against a local repository
Language:Dockerfile2 02
taylorjg/Mastermind
Web version of the Mastermind board game in React (with auto-solve feature)
Language:JavaScript2 0
taylorjg/ScalaCheckBookExamplesInJSVerify
Port of the examples in the ScalaCheck book to JavaScript and JSVerify
Language:JavaScript2 0