Python-by-Contract Corpus

We present here a corpus of Python programs annotated with contracts.

The corpus includes:

Solutions to the exercises of the Advent of Code 2020, and
Solutions to the exercises used during the lecture "Introduction to Programming" at ETH Zurich (Switzerland) in Fall 2019.

Name		Name	Last commit message	Last commit date
Latest commit History 132 Commits
.github/workflows		.github/workflows
.idea		.idea
archived		archived
docs		docs
obsolete/2021-04-23-cut-out-part-2s		obsolete/2021-04-23-cut-out-part-2s
python_by_contract_corpus		python_by_contract_corpus
recorded_failures/aoc2020/day_18_operation_order		recorded_failures/aoc2020/day_18_operation_order
tests		tests
.gitignore		.gitignore
.readthedocs.yml		.readthedocs.yml
CHANGELOG.rst		CHANGELOG.rst
LICENSE		LICENSE
README.rst		README.rst
additional-verbs-in-imperative-mood.txt		additional-verbs-in-imperative-mood.txt
check_init_and_setup_coincide.py		check_init_and_setup_coincide.py
mypy.ini		mypy.ini
precommit.py		precommit.py
pylint.rc		pylint.rc
requirements-doc.txt		requirements-doc.txt
requirements.txt		requirements.txt
setup.py		setup.py

mristin/python-by-contract-corpus