python-by-contract-corpus
python-by-contract-corpus copied to clipboard
mristin
A corpus of Python programs annotated with contracts
Python-by-Contract Corpus
.. image:: https://github.com/mristin/python-by-contract-corpus/workflows/CI/badge.svg :target: https://github.com/mristin/python-by-contract-corpus/actions?query=workflow%3ACI :alt: Continuous integration
.. image:: https://coveralls.io/repos/github/mristin/python-by-contract-corpus/badge.svg?branch=main :target: https://coveralls.io/github/mristin/python-by-contract-corpus?branch=main :alt: Test coverage
.. image:: https://readthedocs.org/projects/python-by-contract-corpus/badge/?version=latest&style=plastic :target: https://python-by-contract-corpus.readthedocs.io/en/latest/ :alt: Documentation
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.
.. _contracts: https://en.wikipedia.org/wiki/Design_by_contract .. _Advent of Code 2020: https://adventofcode.com/2020 .. _"Introduction to Programming": https://www.lst.inf.ethz.ch/education/archive/Fall2019/einfuehrung-in-die-programmierung-i--252-0027-.html
Please see the full documentation at: https://python-by-contract-corpus.readthedocs.io/en/latest/
mristin