GitHub repository: thejohnfreeman/autocheck
Primary language: C++
Description: Header-only C++17 library for property-based testing.