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

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

Create resources with run-time payload type checking and link validation

tinytyping is simply type check.

TStruct is type checked Struct

Decorator style assertions and type check library for Contract programming.

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

== 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" introduction "This interface allows basic maths calculations via JSON-RPC2" auth_with JSONRPC2::BasicAuth.new({'user' => 'secretword'}) section 'Simple Ops' do desc 'Multiply two numbers' param 'a', 'Number', 'a' param 'b', 'Number', 'b' result 'Number', 'a * b' def mul args args['a'] * args['b'] end desc 'Add numbers' example "Calculate 1 + 1 = 2", :params => { 'a' => 1, 'b' => 1}, :result => 2 param 'a', 'Number', 'First number' param 'b', 'Number', 'Second number' optional 'c', 'Number', 'Third number' result 'Number', 'a + b + c' def sum args val = args['a'] + args['b'] val += args['c'] if args['c'] val end end end

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

Pronto runner for Sorbet, a static type checker for Ruby

RubyLess is an interpreter for "safe ruby". The idea is to transform some "unsafe" ruby code into safe, type checked ruby, eventually rewriting some variables or methods.

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

Install gsl, statistics2 and provides a C extension to optimize the following methods * Vector#frecuencies * Vector#set_valid_data * Vector#check_type * Dataset#case_as_hash * Dataset#case_as_array * Bivariate::Tetrachoric

Super basic type checking functions in ruby.

Built to support all types of checkout integration between Akatus and your application

This tool are used to perform different type of checks for the gApps to encounter status and problems

It is a delegate library that checks the type of an argument

Gem helps to do next things with your objects - check the type, make a conversions and work with hashes

This gem is for printing hyperlinks in supported terminal emulators. It is a simple wrapper that abstracts the ANSI characters usually required to achieve this, which are annoying to type out. Check out the gist that inspired this gem at: https://gist.github.com/egmontkob/eb114294efbcd5adb1944c9f3cb5feda

A database structure reader for PostgreSQL with support for tables, fields, primary keys, indexes, foreign keys, check constraints, enum types and extensions.