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.

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

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

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.

Type check JSON objects

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.

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

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

Check yardoc format like tag type.

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

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

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

Kumi is a declarative rules-and-calculation DSL for Ruby that compiles your business logic into a typed, analyzable dependency graph with vector semantics over ragged data. It does static checks at definition time, lowers to a small IR, and compiles to zero-run...

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.

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

A tiny pre-processor for ruby that adds runtime type checking to methods.

Type checking for Ruby methods.