Selected Tags

Click on a tag to remove it

Invariants packages

Showing projects tagged as Invariants

  • Deal

    3.8 4.7 Python
    🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

  • PyContracts

    3.3 0.0 Python
    PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified using Python3 annotations, or inside a docstring. PyContracts supports a basic type system, variables binding, arithmetic constraints, and has several specialized contracts and an extension API.

  • dpcontracts

    2.9 10.0 Python
    An implementation of contracts for Python.

  • icontract

    2.8 7.1 Python
    Design-by-contract in Python3 with informative violation messages and inheritance