Jsverify bindings for bucklescript
-
Updated
Jul 20, 2020 - OCaml
Jsverify bindings for bucklescript
An interface for running jsverify property based tests with AVA
Bring commands to JSVerify property-based testing framework
Framework for property-based testing in JavaScript, TypeScript, JSX, and TSX.
Set of tools and helpers to help JSVerify users to migrate to fast-check
Code examples for the More Tests, Less Work talk.
Proof of concept for property-based testing in TypeScript
Web version of the Mastermind board game in React (with auto-solve feature)
Port of the examples in the ScalaCheck book to JavaScript and JSVerify
2048 in Scala
Add a description, image, and links to the jsverify topic page so that developers can more easily learn about it.
To associate your repository with the jsverify topic, visit your repo's landing page and select "manage topics."