model-checking is an open source project for model scanning
This package provides the core implementation of the System Dynamics model checking and comparison functionality in [SDEverywhere](https://github.com/climateinteractive/SDEverywhere).
Easy to use decorator for model checking.
Formal policy verification for txfence. Bounded model checking with counterexample generation and adversarial stress testing across six attack vectors.
TLA+ model checking MCP server
Detect NSFW content client-side
Type checking for JavaScript functions
A Reactive State Management Tailored-Made for JS Applications
<p> <a href="https://www.npmjs.com/package/vue-tsc"><img src="https://img.shields.io/npm/v/vue-tsc.svg?labelColor=18181B&color=1584FC" alt="NPM version"></a> <a href="https://github.com/vuejs/language-tools/blob/master/LICENSE"><img src="https://img.s
Is this specifier a Bun core module or supported Node one?
Structural equality checking for JavaScript values
No description provided.
Universal library for evaluating AI models
This package provides support for the [RedisBloom](https://redis.io/docs/data-types/probabilistic/) module, which adds additional probabilistic data structures to Redis.
output coverage reports using Node.js' built in coverage
Type checking and diagnostics for Astro projects
Unified LLM API with automatic model discovery and provider configuration
ProseMirror's document model
Types and schema that specs of the Markup languages for markuplint
A spelling dictionary library useful for checking words and getting suggestions.
Get accurate and well named css box model information about an Element 📦
Client Runtime for Node.js client libraries generated using AutoRest
Parser and generator for CSS color strings
Client Server RPC worker for CSpell.
Library for symbolic HCTL model checking on partially defined Boolean networks.
Kani model-checking proofs for elicitation contract types
A simple symbolic model checker for Petri Nets
A bit-precise model checker for Rust.
A framework for deterministic simulation and testing of distributed systems
A library to sanity-check Business Process Model Notation models
A simple BDD-based symbolic model checker for Computational Tree Logic
A tester for distributed system consistency properties like linearizability and sequential consistency.
A library for implementing distributed systems with commmunicating fibers.
Core types for the Fibril library.
Verifies behavior for distributed systems implemented with the Fibril library.
Placeholder crate for the library of the Kani Rust verifier.
Check uniqueness across models
The openstudio-standards library provides methods for programatically generating, modifying, and checking OpenStudio building energy models. It can create a typical building from user geometry, template geometry, or programmatically generated geometry. It can apply a building standard including ASHRAE 90.1 or NECB to a model. It can transform a proposed building model into a 90.1 Appendix G code baseline model. It can check a model against a building standard. It can generate represenative typical buildings, such as those used in ComStock.
Easy way to check model state in after_commit callback
A custom validation for your Active Model that check if an array is included in another one
Integer backed permissions, powered by bitwise comparison
This ensures that devise will update a last_seen flag on the model whenever you check if a user is authed.
Rake tasks to check your Rails models for missing indexes
Need a simple, consistent way to create model instances and check validations in your ActiveRecord 3.1+ tests? Use the Modelizer. Just don't trust the docs, since lots changed in 5.x and I got lazy.
Verify properties of your state machines.
Rails plugin that do check-in/check-out of models of ActiveRecord.
A command line filter utility for processing [[http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html][TLA+ Tools]] output resulting created when model checking [[[http://research.microsoft.com/en-us/um/people/lamport/tla/book.html][TLA+ language]]] formal model generated using [[https://github.com/jarjuk/tla-sbuilder][sbuilder]] -tool.
Checks Ruby on Rails models for use of the attr_accessible white list
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.