MooseX is an extension of Ruby object DSL. The main goal of MooseX is to make Ruby Object Oriented programming easier, more consistent, and less tedious. With MooseX you can think more about what you want to do and less about the mechanics of OOP. It is a port of Moose/Moo from Perl to Ruby world...

This gem adds Mobility plugin, which can be turned on for Rails model, and will check types of values passed to setters.

A modern modular service object toolkit for Rails, that respects database transactions and adds type checks to returned values.

Only 70 lines. Add a optional type system to ruby using runtime checks and contracts . make it crash early, know exactly what a function (or method) returns and specify the 'type' of the parameters using good old ducktyping

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.

Run-time type checker and transformer for Ruby

Simple runtime type checking for Ruby method signatures

A Ruby dialect that includes types in the language. Transpiles to Ruby and RBS by leveraging the ruby-next and irbs gems. Type checks with steep.

Generate all parts of a compiler, including the lexer, parser, syntax tree, symbol table, type checker, code generator, and optimizer.

Guard plugin for the Sorbet Ruby type checker

Contains validators for date and time values, type checking.

Basic file type checks based on a few header bytes

TStruct is type checked Struct

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

Guard plugin for Flow type checks

Create resources with run-time payload type checking and link validation

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.

Objective-C style named parameters and type checking for Ruby.

Decorator style assertions and type check library for Contract programming.