A purposely loose comparison tool.
Bitcoin Miniscript, a high-level language for describing Bitcoin spending conditions. It includes a compiler/analyzer with a signer‑agnostic satisfier that derives symbolic witnesses (e.g., <sig(key)>).
A supplementary assertion library
load packages and scripts on jsdom
Komondor core library
Bitcoin Miniscript policy compiler
Composer semver parsing and constraint matching for Rust
Elegant and extensible assertions in rust.
Fluent assertions for the Rust programming language.
Bizinikiwi transaction pool implementation.
Substrate transaction pool implementation.
A library for imbuing rules into types and elevating them to more robust types
A modern CDCL SAT solver in Rust
FFI bindings to Bitcoin Core's miniscript implementation for cross-verification and reference testing
Automatic property based testing with shrinking.
A macro attribute for quickcheck.
Automatic property based testing with shrinking.
Attribute macros for requirements traceability — #[satisfies(...)] and #[verifies(...)]
Provides easy way to match browser user agent string with specified set of rules (from browserslist tool)
CanCan[Can] just can't satisfy me
Declare rule sets to check your objects against them later
Verify that a binding can satisfy ERB templates
An intellectually satisfying way to start new rails apps.
Gambler is a Ruby library which can be included into other classes/modules. It provides an object oriented interface for common gambling games such as Blackjack, Poker, etc.
This is a dummy gem for openHAB to satisfy gem dependencies. It does not contain any functionality, and should not actually be installed.
create a string pattern with &(represents AND) and |(represents OR), check whether it can be satisfied with given strings
A framework to declare expectations on a json format and validate that a json object satisfies those expectations. You can use this json expectations to validate jsons you send or receive in your application, or to test your API with unit tests.
Power Assert shows each value of variables and method calls in the expression. It is useful for testing, providing which value wasn't correct when the condition is not satisfied.
Check whether an ActiveRecord instance satisfies the conditions of a relation, in memory
Typical paranoid gem built for Rails 4 and with the minimum code needed to satisfy acts_as_paranoid's API