Welcome to IntrastiBETA

Useful tools and brilliant sites.

1 result
Deal — Deal documentation deal.readthedocs.io A Python library for design by contract (DbC) and checking values, exceptions, and side-effects. In a nutshell, deal empowers you to write bug-free code. By adding a few decorators to your code, you get for free tests, static analysis, formal verification, and much more. Read intro to get started.