contract-shield-cli

A CLI tool that verifies preconditions, postconditions, and invariants in contracts without altering their original source code. `contract-shield-cli` enforces Design by Contract principles externally, ensuring contracts behave as expected while preservin

v0.2.1 URL: https://unpkg.com/contract-shield-cli@0.2.1/index.js

Open Browse Files

@rustable/trait

A TypeScript library that implements Rust-like traits with compile-time type checking and runtime verification.

v0.4.12 URL: https://unpkg.com/@rustable/trait@0.4.12/lib/index.js

Open Browse Files

typescript rust trait interface type-safe compile-time runtime-verification polymorphism decorator derive macro

metaforge

Library that allow you to describe data structures by subset of JavaScript syntax and validate them at runtime

v1.0.0 URL: https://unpkg.com/metaforge@1.0.0/index.js

Open Browse Files

nodejs javascript testing metadata json schema validation types checker dsl metalanguage runtime-verification zero-dependencies type-generator astrohelm lightweight modules modular