contracts contracts-programming dbc deal decorators design-by-contract flake8 functional-programming hacktoberfest interface invariant linter mypy property-based-testing python pythonic refinement-types testing typing validation

contract-knowledge contracts knowledge knowledge-base knowledge-graph license logic-programming reasoning-machine semantic-web streamlit-webapp zincbase