@rustable/trait
A TypeScript library that implements Rust-like traits with compile-time type checking and runtime verification.
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
metaforge
Library that allow you to describe data structures by subset of JavaScript syntax and validate them at runtime