pycontracts: https://github.com/AlexandruBurlacu/pycontracts https://github.com/AlexandruBurlacu/pycontracts icontract: https://github.com/Parquery/icontract h

pycontracts: https://github.com/AlexandruBurlacu/pycontracts https://github.com/AlexandruBurlacu/pycontracts icontract: https://github.com/Parquery/icontract https://github.com/Parquery/icontract The DbC Design-by-Contract patterns supported by icontract probably have code quality returns beyond saving work. Safety critical coding guidelines specify that there must be runtime type and value checks at the top of every function.