Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / mristin / python-by-contract-corpus
A corpus of Python programs annotated with contracts
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mristin%2Fpython-by-contract-corpus
Stars: 20
Forks: 4
Open Issues: 1
License: mit
Language: Python
Repo Size: 474 KB
Dependencies:
10
Created: about 3 years ago
Updated: 5 months ago
Last pushed: almost 2 years ago
Last synced: 28 days ago
Files
Loading...
Readme
Loading...
Dependencies
requirements-doc.txt
pypi
- autodocsumm >=0.2.2,<1
- sphinx >=5,<6
- sphinx-autodoc-typehints >=1.11.1
- sphinx-icontract >=2.0.3
- sphinx-rtd-theme >=0.5.1,<1
requirements.txt
pypi
- crosshair-tool >=0.0.11
- icontract >=2.5.3
- icontract-hypothesis >=1.1.4
- regex >=2021.4.4