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.

TypedOperation is a command pattern implementation where inputs can be defined with runtime type checks. Operations can be partially applied.

Yadriggy builds the abstract syntax tree (AST) of a method, checks its syntax and types, and runs it. When checking the syntax and types, it is treated as the code written in a domain specific language (DSL). It also provide simple DSLs for computation offloading from Ruby to C, Python, etc.

Type check JSON objects

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, providing method delegation, type check, traits, monads, plugins, lazy attributes, aspects and much more.

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

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 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

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.

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

Contains validators for date and time values, type checking.

Basic file type checks based on a few header bytes

Decorator style assertions and type check library for Contract programming.

TStruct is type checked Struct

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

Guard plugin for Flow type checks