GitHub repository: kaynetik/go-check
Description: Property based testing framework for Go