[LeonidasXIV]

For OCaml I'd argue that the canonical QuickCheck is https://github.com/vincent-hugot/iTeML (aka qtest). It looks like it is a unit test tool (which it also is), but it has merged in QCheck which I have used before.