GitHub repository: sthagen/icontract-hypothesis
Primary language: Python
Description: Combine contracts and automatic testing.