krash
fluent assert for validation of invariants before assignment
asrt
A small library to verify preconditions and postconditions.
ts-design-by-contract
TypeScript decorators to validate preconditions, post-conditions and invariants, design by contract