GitHub repository: mristin/python-by-contract-corpus
Primary language: Python
Description: A corpus of Python programs annotated with contracts