fluent assert for validation of invariants before assignment
Safety checks for common protocol invariants.
More permisive proxy objects by separating invariant bookkeeping from the target object.
A small library to verify preconditions and postconditions.
TypeScript decorators to validate preconditions, post-conditions and invariants, design by contract