Any other languages or suggestions? Comment below.
Clojure:
C++:
Elixir
Erlang
Go
Groovy:
- Gruesome -- a quick and dirty implementation for Groovy
Haskell
- QuickCheck -- the OG
Java:
JavaScript:
PHP
Python:
- Hypothesis -- requires a test framework, provides decorators for easy integration
- pytest-quickcheck - requires pytest, @npryce: "I found it hard to extend"
Ruby:
Rust
Scala:
.NET (C#, F#, VB)