Sorbet's runtime type checking component

A type coercion lib works with Sorbet's static type checker and type definitions; raises an error if the coercion fails.

Type check JSON objects

Type checking and type casting of parameters for Action Pack

A puppet-lint plugin to check for classes and defined types that contain names beginning with a digit.

A new check for puppet-lint that validates that all parameters are typed.

A puppet-lint plugin to check that Optional class/defined type parameters don't default to anything other than `undef`.

Platform Agnostic SEcurity TOkens are a specification for secure stateless tokens. This is an implementation of PASETO tokens, and the PASERK key management extensions, in ruby, with runtime static type checking provided by Sorbet.

A gem that provides DSL for serialization of plain old Ruby objects to JSON in a declarative style by defining a `schema`. It also provides a trivial type checking in the runtime before serialization.

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.

Type-checked serializers for your Ruby objects

Makes sure users don't accidentally create an account for the wrong e-mail address. Because 'gmial' isn't actually what they meant to type. Similarly, 'yaho.com', or the strange-but-true '.c0m'. Not even making that one up. If you're concerned about false-positives, it's super-easy to check. There's only a single method. Also, it's fully-tested.

A dynamic type checker for gRPC methods

The strongtyping gem is a Ruby library that provides type checking and method overloading.

RubyLess is an interpreter for "safe ruby". The idea is to transform some "unsafe" ruby code into safe, type checked ruby, eventually rewriting some variables or methods.

Type-checked set and array

Install gsl, statistics2 and provides a C extension to optimize the following methods * Vector#frecuencies * Vector#set_valid_data * Vector#check_type * Dataset#case_as_hash * Dataset#case_as_array * Bivariate::Tetrachoric

Check yardoc format like tag type.

Various DSLs to clean, question (Ask), and validate (Demand) your objects, their classes (data types), and their properties.

Enums, properties, generics, structured objects and runtime type checking.