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