GitHub repository: peterzeller/go-stateful-test
Primary language: Go
Description: A library for stateful property-based testing in Go.