GitHub repository: toonarmycaptain/deal
Description: Design by contract for Python with static checker and tests' generation.