npmjs.org "runtime-verification" keyword
@mamdouh-aboammar/pixolink-logic-guardian 1.0.0
Logic Guardian module for PixoLink — Runtime validation, circuit breakers, and defensive programm...1 version - Latest release: 4 months ago - 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: over 2 years ago - 76 downloads last month - 4 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: 9 months ago - 23 downloads last month - 0 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: 10 months ago - 47 downloads last month - 17 stars on GitHub - 1 maintainer
Top 8.8% on npmjs.org
21 versions - Latest release: almost 3 years ago - 5 dependent packages - 18 dependent repositories - 824 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: almost 3 years ago - 5 dependent packages - 18 dependent repositories - 824 downloads last month - 2 stars on GitHub - 1 maintainer
Related Keywords
validation
2
javascript
2
typescript
2
schema
2
compile-time
1
type-safe
1
interface
1
trait
1
rust
1
verification-framework
1
invariants-checking
1
preconditions-postconditions
1
contracts-validation
1
programming-language-tools
1
source-code-modification
1
code-instrumentation
1
runtime-analysis
1
cli-tool
1
source-code-analysis
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
pixolink
1
circuit-breaker
1
error-handling
1
defensive-programming
1
nodejs
1
testing
1
metadata
1
json
1
types
1
checker
1
dsl
1
metalanguage
1
zero-dependencies
1
type-generator
1
astrohelm
1
lightweight
1
modules
1
modular
1
generator
1
json-schema
1
modular-design
1
modules-architecture
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