Runtime-verification Packages

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

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