For safe coding
Precondition checking utilities.
Support for Precondition error checking in Node.js.
## Precondition
## Precondition
## Precondition
## Precondition
## Precondition
## Precondition
## Precondition
## Precondition
## Precondition
## Precondition
## Precondition
## Precondition
## Precondition
Fast and boilerplate-free precondition checks for javascript.
Inpired by guava precondition.
Formal verification tools for MUSUBIX - Z3 integration, precondition/postcondition verification, and EARS-to-SMT conversion
Karma adapter (framework) for jasmine-precondition
Add a precondition to an accessor or function descriptor which throws unless `this` at runtime is an `instanceof` a specific type.
EPC-1: Execution Precondition Protocol — Official TypeScript SDK
Contrax TypeScript-Compiler Transformer — enforces @precondition / @postcondition JSDoc contracts at tsc build time.
A simple precondition library similar to Guava's preconditions
Compile-time assistance for working with unsafe code.
Krylov subspace and preconditioned iterative solvers for dense and sparse linear systems, with shared and distributed memory parallelism.
Genesis DB client SDK for Rust
A client library for the EventsourcingDB by the native web.
necessist
Stateful property testing DSL for Protest - test state machines, concurrent systems, and complex APIs
Data-Oriented, Simple, Goal-Oriented Action Planning
Policy-aware edit/apply engine for buildfix plan operations
Yet another simple task runner 🦀
Sparse matrix support for OxiBLAS
DSL and compiler for generating peephole optimizers
Sparse tensor formats and operations for TenRSo
The Preconditions library provides a simple set of methods for checking arguments being passed into a method. Instead of writing custom checks and raising exceptions directly in your code you can use Preconditions to verify basic properties of your arguments (not-nil, satisfying a boolean expression, being of a certain type/duck-type) and raise the appropriate exception for you.
Verify preconditions for Rails actions
A chainable guard clause DSL for validating method preconditions with built-in checks for nil, empty, numeric bounds, type checking, range, length, regex matching, inclusion, custom predicates, string prefix/suffix, and soft mode error collection.
IamSure can build precondition checker by chaining conditions next one another
Verify preconditions for Rails actions -- gem for the current git version.
Verify preconditions for Rails actions
Library for checking parameters, return value, preconditions and postconditions with declarative syntax
A lightweight runtime assertion library for Ruby with chainable matchers, soft assertions, and Design by Contract preconditions.
Gendarme checks for preconditions and postrelations on the methods you want it to.
This library offers an implementation of protocols against which you can check the conformity of your classes or instances of your classes. They are a bit like Java Interfaces, but as mixin modules they can also contain already implemented methods. Additionaly you can define preconditions/postconditions for methods specified in a protocol.
Supports invariant, precondition, postcondition, and derived attributes using a Ruby DSL.
db-factory uses definition files with YAML/ERB syntax to define test data (preconditions) for unit PL/SQL testing and can compare actual data with defined expected data.
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.