Sorbet's runtime type checking component

RDL is a gem that adds types and contracts to Ruby. RDL includes extensive support for specifying method types, which can either be enforced as contracts or statically checked.

Type checking and type casting of parameters for Action Pack

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.

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

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.

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.

Cerealize your ActiveModel objects into flat hashes with a dead simple, yet versatile DSL, and caching and type-checking baked in. Our daily bread is to make your API faster.

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

Type checking for Ruby methods.

Type-checked serializers for your Ruby objects

Run-time type checker and transformer for Ruby

Gradual type checker for Ruby

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

Check yardoc format like tag type.

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.

Simple runtime type checking for Ruby method signatures

All the flexibility of a Ruby Struct, but with type checking on its properties. Also benefit from being able to define complex types using RBS type notation.

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.