A property-based testing library for Racket.
https://github.com/Bogdanp/rackcheck.git
A property-based testing library for Racket with support for shrinking.
raco pkg install rackcheck
See the examples directory.
I initially started out by forking the existing [quickcheck] library to add support for shrinking, but that required making many breaking changes so I figured I'd start from scratch instead.
rackcheck is licensed under the 3-Clause BSD license.