Sorbet's runtime type checking component

Type Checker for Ruby at runtime using YARD

Enables Type Checking per client

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

A puppet-lint plugin to check if parameters in Classes and Defines has types declared.

In most cases Ruby doesn't need templated classes, nor any other system of generics, because it isn't statically type checked. However, sometimes we need to automatically generate multiple similar classes, either because of poor design or because of external necessities. For example, to define a GraphQL schema with GraphQL Ruby (https://graphql-ruby.org/) we need to define a distinct class for each type. Since GraphQL is statically type checked but doesn't provide generics, if we need a set of similar but distinct types we're left to define them one by one.

Simple type-checking for Ruby

Type checking and type casting of parameters for Action Pack

Typedeaf is a gem to help add some type-checking to method declarations in Ruby

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

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

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.

Type-checked serializers for your Ruby objects

RubyBreaker is a dynamic type documentation/checking tool for Ruby. It dynamically instruments code, monitors objects during execution, performs dynamic type checking, and generates type documentation based on the profiled information. RubyBreaker helps Ruby programs "break" out of obscurities and convolutions by auto-documenting type information.

Type-checked set and array

Type checking for Ruby methods.

Gradual type checker for Ruby

A dynamic type checker for gRPC methods

ComfyConf provides a minimal DSL for parsing YAML config files into a structured and type-checked configuration

Methods for defining type-checked arrays and attributes