npmjs.org "runtime-verification" keyword
View the packages on the npmjs.org package registry that are tagged with the "runtime-verification" keyword.
Top 8.8% on npmjs.org
21 versions - Latest release: over 2 years ago - 5 dependent packages - 18 dependent repositories - 1.14 thousand downloads last month - 2 stars on GitHub - 1 maintainer
parse-dont-validate 4.1.2
Verify the integrity of the data and return it in expected shape. Otherwise throw error or return...21 versions - Latest release: over 2 years ago - 5 dependent packages - 18 dependent repositories - 1.14 thousand downloads last month - 2 stars on GitHub - 1 maintainer
contract-shield-cli 0.2.1
A CLI tool that verifies preconditions, postconditions, and invariants in contracts without alter...3 versions - Latest release: 4 months ago - 27 downloads last month - 0 stars on GitHub - 1 maintainer
metaforge 1.0.0
Library that allow you to describe data structures by subset of JavaScript syntax and validate th...7 versions - Latest release: almost 2 years ago - 29 downloads last month - 3 stars on GitHub - 1 maintainer
@rustable/trait 0.4.12
A TypeScript library that implements Rust-like traits with compile-time type checking and runtime...48 versions - Latest release: 5 months ago - 479 downloads last month - 17 stars on GitHub - 1 maintainer
Related Keywords
typescript
2
schema
2
javascript
2
modules
1
lightweight
1
astrohelm
1
type-generator
1
zero-dependencies
1
metalanguage
1
dsl
1
checker
1
types
1
validation
1
json
1
metadata
1
testing
1
nodejs
1
verification-framework
1
modular
1
generator
1
json-schema
1
modular-design
1
modules-architecture
1
rust
1
trait
1
interface
1
type-safe
1
compile-time
1
polymorphism
1
decorator
1
derive
1
macro
1
parse json
1
parse variable
1
validate
1
don't validate
1
parse, don't validate
1
validate json
1
run time typecheck
1
json-schema-validator
1
parse
1
runtime-typechecking
1
validate-js
1
static-analysis
1
developer-tools
1
software-engineering
1
formal-methods
1
program-verification
1
automated-testing
1
debugging-tools
1
secure-coding
1
design-by-contract
1
source-code-analysis
1
cli-tool
1
runtime-analysis
1
code-instrumentation
1
source-code-modification
1
programming-language-tools
1
contracts-validation
1
preconditions-postconditions
1
invariants-checking
1