A property-based testing library for Racket with support for shrinking.
raco pkg install rackcheck
See the examples directory.
What about quickcheck?
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.