Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "design-by-contract" keyword
Top 5.9% on pypi.org
88 versions - Latest release: 7 months ago - 3 dependent packages - 6 dependent repositories - 2.58 thousand downloads last month - 137 stars on GitHub - 1 maintainer
sismic 1.6.6
Sismic Interactive Statechart Model Interpreter and Checker88 versions - Latest release: 7 months ago - 3 dependent packages - 6 dependent repositories - 2.58 thousand downloads last month - 137 stars on GitHub - 1 maintainer
Top 3.1% on pypi.org
60 versions - Latest release: 6 months ago - 42 dependent packages - 62 dependent repositories - 112 thousand downloads last month - 330 stars on GitHub - 2 maintainers
icontract 2.6.6
Provide design-by-contract with informative violation messages.60 versions - Latest release: 6 months ago - 42 dependent packages - 62 dependent repositories - 112 thousand downloads last month - 330 stars on GitHub - 2 maintainers
Top 3.4% on pypi.org
66 versions - Latest release: about 2 months ago - 9 dependent packages - 28 dependent repositories - 32.6 thousand downloads last month - 692 stars on GitHub - 2 maintainers
deal 4.24.4
**Deal** is a Python library for [design by contract][wiki] (DbC) programming.66 versions - Latest release: about 2 months ago - 9 dependent packages - 28 dependent repositories - 32.6 thousand downloads last month - 692 stars on GitHub - 2 maintainers
fastapi-icontract 0.0.4
Specify contracts for FastAPI endpoints.4 versions - Latest release: over 2 years ago - 1 dependent repositories - 723 downloads last month - 23 stars on GitHub - 1 maintainer
traffic-intersection 0.1.6
This is an example of the design-by-contract approach7 versions - Latest release: almost 6 years ago - 1 dependent repositories - 32 downloads last month - 13 stars on GitHub - 1 maintainer
thonny-icontract-hypothesis 1.0.0a3
Automatically test Python code using icontract-hypothesis in Thonny.3 versions - Latest release: about 3 years ago - 1 dependent repositories - 29 downloads last month - 3 stars on GitHub - 1 maintainer
thonny-crosshair 0.0.1
Automatically verify Python code using CrossHair in Thonny.4 versions - Latest release: about 3 years ago - 1 dependent repositories - 26 downloads last month - 3 stars on GitHub - 1 maintainer
sphinx-icontract 2.0.3
Extend sphinx to include icontracts.12 versions - Latest release: almost 3 years ago - 1 dependent package - 8 dependent repositories - 31 downloads last month - 6 stars on GitHub - 2 maintainers
python-by-contract-corpus 2021.7.10rc1
Provide a corpus of programs annotated with contracts with no obvious bugs.1 version - Latest release: almost 3 years ago - 1 dependent repositories - 10 downloads last month - 20 stars on GitHub - 1 maintainer
pyicontract-lint 2.1.4
Lint contracts defined with icontract library.14 versions - Latest release: over 2 years ago - 1 dependent package - 5 dependent repositories - 7.95 thousand downloads last month - 7 stars on GitHub - 2 maintainers
icontract-hypothesis 1.1.7
Combine contracts and automatic testing.11 versions - Latest release: almost 3 years ago - 6 dependent repositories - 378 downloads last month - 74 stars on GitHub - 1 maintainer
design-by-contract 0.3.1
Handy decorator to define contracts with dependency injection in Python 3.10 and above6 versions - Latest release: almost 2 years ago - 1 dependent package - 1 dependent repositories - 43 downloads last month - 101 stars on GitHub - 1 maintainer
aas-core-meta 2022.6.21
Provide meta-models for Asset Administration Shell information model.14 versions - Latest release: almost 2 years ago - 1 dependent repositories - 59 downloads last month - 9 stars on GitHub - 1 maintainer
djburger 0.11.1
Framework for views in big projects on Django.11 versions - Latest release: over 5 years ago - 1 dependent package - 1 dependent repositories - 17 downloads last month - 75 stars on GitHub - 1 maintainer
Related Keywords
contracts
8
testing
6
automatic
5
validation
4
python
4
property-based
3
decorators
2
contracts-programming
2
post
2
pre
2
postcondition
2
precondition
2
djburger
1
meta-model
1
asset administration shell
1
python310
1
lint
1
corpus
1
icontract
1
extension
1
sphinx
1
verification
1
formal-verification
1
solid
1
validator
1
framework
1
django
1
scheme
1
api
1
restful-api
1
rest-api
1
cbv
1
rest
1
clean-code
1
django-rest-framework
1
marshmallow
1
mvc
1
mvc-framework
1
parse
1
statechart
1
state
1
machine
1
interpreter
1
model
1
uml
1
scxml
1
harel
1
behavior-driven-development
1
finite-state-machine
1
hierarchical-state-machine
1
property-testing
1
statecharts
1
deal
1
invariant
1
pythonic
1
functional
1
dbc
1
flake8
1
functional-programming
1
hacktoberfest
1
interface
1
linter
1
mypy
1
property-based-testing
1
refinement-types
1
typing
1