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.

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.

TStruct is type checked Struct

Pronto runner for Sorbet, a static type checker for Ruby

Experimental type checker

tspec can check type of methods arguments and return value.

tinytyping is simply type check.

The fastest type checking gem

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

Allows for easy YAML parsing and type checking, as well as generators

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