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