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

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

Decorator style assertions and type check library for Contract programming.

Contains validators for date and time values, type checking.

TStruct is type checked Struct

rails-tc bundles everything required to properly setup type checking with sorbet in rails projects

Basic file type checks based on a few header bytes

Language server implementation that provides Steep-equivalent type checking features using ruby-lsp's single-process multi-threaded architecture

Guard plugin for Flow type checks

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

== Description A Rack compatible JSON-RPC2 server domain specific language (DSL) - allows JSONRPC APIs to be defined as mountable Rack applications with inline documentation, authentication and type checking. e.g. class Calculator < JSONRPC2::Interface title "JSON-RPC2 Calculator" in...

rubber-c-binder allows a rubyish means of generating bindings for C libraries, including (but not limited to) GObject based libraries. It allows C code to be written in the context of a ruby style class/method layout and eases type checking and conversion between Ruby & C datatyp...

tspec can check type of methods arguments and return value.

tinytyping is simply type check.

Experimental type checker

The fastest type checking gem

Simple runtime type checking for Ruby method signatures

Pronto runner for flow, a static type checker for javascript.

Reliable contract definition, data validation, and type checking for Ruby.

Lazy static type checking