pypi.org "design-by-contract" keyword
View the packages on the pypi.org package registry that are tagged with the "design-by-contract" keyword.
design-by-contract 0.3.1
Handy decorator to define contracts with dependency injection in Python 3.10 and above6 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 268 downloads last month - 102 stars on GitHub - 1 maintainer
Top 5.9% on pypi.org
91 versions - Latest release: 13 days ago - 3 dependent packages - 6 dependent repositories - 5.77 thousand downloads last month - 137 stars on GitHub - 1 maintainer
sismic 1.6.9
Sismic Interactive Statechart Model Interpreter and Checker91 versions - Latest release: 13 days ago - 3 dependent packages - 6 dependent repositories - 5.77 thousand downloads last month - 137 stars on GitHub - 1 maintainer
traffic-intersection 0.1.6
This is an example of the design-by-contract approach7 versions - Latest release: almost 7 years ago - 1 dependent repositories - 225 downloads last month - 14 stars on GitHub - 1 maintainer
pysertive 0.0.1
✔️ Assertive python design by contract toolkit for software validation. Simplify preconditions, p...1 version - Latest release: 11 months ago - 84 downloads last month - 5 stars on GitHub - 1 maintainer
sphinx-icontract 2.0.3
Extend sphinx to include icontracts.12 versions - Latest release: almost 4 years ago - 1 dependent package - 8 dependent repositories - 199 downloads last month - 6 stars on GitHub - 2 maintainers
fastapi-icontract 0.0.4
Specify contracts for FastAPI endpoints.4 versions - Latest release: about 3 years ago - 1 dependent repositories - 975 downloads last month - 24 stars on GitHub - 1 maintainer
icontract-hypothesis 1.1.7
Combine contracts and automatic testing.11 versions - Latest release: over 3 years ago - 6 dependent repositories - 462 downloads last month - 79 stars on GitHub - 1 maintainer
python-by-contract-corpus 2021.7.10rc1
Provide a corpus of programs annotated with contracts with no obvious bugs.1 version - Latest release: almost 4 years ago - 1 dependent repositories - 31 downloads last month - 21 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 4 years ago - 1 dependent repositories - 115 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: almost 4 years ago - 1 dependent repositories - 139 downloads last month - 3 stars on GitHub - 1 maintainer
Top 3.4% on pypi.org
67 versions - Latest release: about 2 months ago - 9 dependent packages - 28 dependent repositories - 30.9 thousand downloads last month - 741 stars on GitHub - 2 maintainers
deal 4.24.5
**Deal** is a Python library for [design by contract][wiki] (DbC) programming.67 versions - Latest release: about 2 months ago - 9 dependent packages - 28 dependent repositories - 30.9 thousand downloads last month - 741 stars on GitHub - 2 maintainers
Top 3.1% on pypi.org
62 versions - Latest release: 7 months ago - 42 dependent packages - 62 dependent repositories - 153 thousand downloads last month - 355 stars on GitHub - 2 maintainers
icontract 2.7.1
Provide design-by-contract with informative violation messages.62 versions - Latest release: 7 months ago - 42 dependent packages - 62 dependent repositories - 153 thousand downloads last month - 355 stars on GitHub - 2 maintainers
djburger 0.11.1
Framework for views in big projects on Django.11 versions - Latest release: over 6 years ago - 1 dependent package - 1 dependent repositories - 207 downloads last month - 75 stars on GitHub - 1 maintainer
pyicontract-lint 2.1.4
Lint contracts defined with icontract library.14 versions - Latest release: over 3 years ago - 1 dependent package - 5 dependent repositories - 445 downloads last month - 7 stars on GitHub - 2 maintainers
aas-core-meta 2022.6.21
Provide meta-models for Asset Administration Shell information model.14 versions - Latest release: almost 3 years ago - 1 dependent repositories - 686 downloads last month - 10 stars on GitHub - 1 maintainer
Related Keywords
contracts
8
testing
6
python
5
automatic
5
validation
4
property-based
3
post
2
pre
2
decorators
2
contracts-programming
2
dbc
2
precondition
2
postcondition
2
invariant
1
meta-model
1
asset administration shell
1
lint
1
validator
1
pythonic
1
solid
1
scheme
1
functional
1
restful-api
1
flake8
1
rest-api
1
functional-programming
1
hacktoberfest
1
interface
1
linter
1
mypy
1
rest
1
property-based-testing
1
refinement-types
1
typing
1
parse
1
mvc-framework
1
djburger
1
framework
1
django
1
api
1
cbv
1
clean-code
1
mvc
1
django-rest-framework
1
marshmallow
1
postconditions
1
preconditions
1
contract-programming
1
formal-verification
1
statecharts
1
property-testing
1
hierarchical-state-machine
1
finite-state-machine
1
behavior-driven-development
1
harel
1
scxml
1
uml
1
model
1
interpreter
1
machine
1
state
1
statechart
1
python310
1
deal
1
verification
1
corpus
1
icontract
1
extension
1
sphinx
1
software-quality
1
python-library
1
python-decorators
1
pypi-package
1
error-checking
1
code-validation
1
code-maintainability
1
assertions
1
software-reliability
1
code-verification
1
code-quality
1
invariants
1