GitHub repository: BenSimner/speccer
Primary language: Python
Description: Property-based testing in Python