GitHub repository: taylor1791/jsverify
Primary language: JavaScript
Description: Property-based testing for JavaScript. Like QuickCheck.