invariant
A tiny invariant function
TypeScript implementation of invariant(condition, message)
TypeScript definitions for invariant
Super-simple invariant function
Type-safe implementation of invariant with positionals.
Type safe utilities for throwing errors (and responses) if things aren't quite right. Inspired by npm.im/invariant
Stricter version of tiny-invariant
Invariant function
Warning and invariant dev-ex messaging.
Flow JS SDK Util -- Invariant
Invariant assertion compatible with DXOS logger.
TypeScript definitions for redux-immutable-state-invariant
turf invariant module
invariant function
Wrap invariant checks in NODE_ENV conditionals.
An invariant function
A simple invariant function
A tiny invariant function
Yet another JavaScript assertion/invariant library.
Like invariant and tiny-invariant, but smarter
A small invariant function
Invariant and non-null/undefined assertion check with type guards
Lightweight utility for input validation and data extraction in Turf.js. Ensures GeoJSON inputs are in the correct format and extracts specific components like coordinates or geometries.
A library for creating wrapper types that enforce invariants.
Multi-language semantic code analysis library — tree-sitter fact extraction for DataGrout Invariant
Semantic code analysis CLI for the AI era — powered by DataGrout
Helps code authors define and use invariants
Invariants, constraints, invariant checks, and constraint check results for HigherGraphen.
Causal consistency at nanosecond latency. Algebraic invariants without coordination.
Spec-first, cancel-correct, capability-secure async runtime for Rust.
compile-time checked builder generator with run-time invariant enforcement
Macros for safely interacting with DST newtypes
LLM-powered fuzzing assistant for Solidity smart contracts — generates, runs, and iterates invariant tests with Foundry
Stateful property testing DSL for Protest - test state machines, concurrent systems, and complex APIs
CI/CD authority graph analyzer: how credentials, tokens, and artifacts propagate across pipelines—implicit trust-boundary breaks and non-obvious privilege escalation. Graph-first; not a YAML linter, generic scanner, or policy engine.
Document your code invariants
An Invariable bundles a number of read-only attributes. It can be used like a Hash as well as an Array. It supports subclassing and pattern matching.
Assert utility for ruby. It lets you code your assumptions and code invariants, so they are checked automatically. It can be deactivated, so you it doesn't affect to your program performance (for example, in production).
A tool for automatic extraction and verification of Rails formal models. Just include it in your Gemfile, write a few invariants, setup Spass and `rake verify`!
Supports invariant, precondition, postcondition, and derived attributes using a Ruby DSL.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.