Showing 1-20 of 31 packages
Formal verification tools for MUSUBIX - Z3 integration, precondition/postcondition verification, and EARS-to-SMT conversion
Design by Contract (precondition/postcondition) class method decorators for ECMAScript.
geojson fixtures for testing and validation
Design-by-Contract and Test-by-Contract for JavaScript
Velar-SDK is a user-friendly library to integrate swap functionality.
geojson fixtures for testing and validation
Design by Contract for JavaScript via a Babel plugin.
TypeScript-based assertion functions to impose invariants at runtime
Design by Contract for JavaScript via a Babel plugin.
Leverage Formik-Form-Builder Creator to effortlessly construct MUI-based forms using concise JSON definitions.
Syntactic sugar for Design by contract in JavaScript.
Design-by-Contract and Test-by-Contract for JavaScript
A library to put runtime checks using 'design by contract' approach
This is a small library to help you program in a design-by-contract style in JavaScript and ReasonML (i.e. BuckleScript).
orm sequelize utils
Tiny JavaScript library for preconditions, postconditions and invariants, intended for use with Contractual.
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
Exports all `@kingjs/descriptor.object.*` functionality in one package.
C# inspired Code Contracts
Bable plugin for label decorating.