Imperative property-based testing library with no dependencies, no macros, no unsafe, and no implicit I/O - View it on GitHub