A rich language which compiles to ruby. Including type annotations, type checking, macros, annotations, enums and more

Property types that add CHECK constraints to your DB and validations to your model. Data integrity FTW.

Composable type-safety checks

Ruby mixin that facilitates English-like type checking in an inheritance hierarchy via "type_name?" methods

This gem allows you to check the Content-Type of any HTTP-accessible asset.

Rubyt is a ruby gem that provides type checking functionality. It includes support for various types such as Boolean, Integer, String, Array, Hash and more. This gem is designed to enforce type safety, facilitating the creation of readable and maintainable code. It includes custom error handling for type mismatches. With its ease of use and integration, it can seamlessly fit into existing projects.

Flags is a framework for Ruby which allows the definition of command-line flags, which are parsed in and can be accessed smartly from within your Ruby code. This framework allows for numerous different flag types, and takes care of the process of type conversion and flag validation (type and value checking).

Allows checking of reply content type with request accept types. Also allows contracting of downstream apps to supplying a single type.

A Gem to get files Header, Footer, Type(via headers), create file checksum, check file checksum, Carving and ... .

All the flexibility of a Ruby Struct, but with type checking on its properties. Also benefit from being able to define complex types using RBS type notation.

strong_csv is a type checker for a CSV file. It lets developers declare types for each column to ensure all cells are satisfied with desired types.

The Master of Syntax Error brings you... this debugging exercise type "activate" to start the exercise, happy ...debugging your project type "checkme" for an update on your debugging progress, or if your are sick of it just type "fixme" to fix the errors

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

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

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.

Gem to parse Facebook ID's from various Facebook URL types. The five link types are: Status, Photo, Video, Link, Checkin.

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.

TypedOperation is a command pattern implementation where inputs can be defined with runtime type checks. Operations can be partially applied.

Type check JSON objects

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, providing method delegation, type check, traits, monads, plugins, lazy attributes, aspects and much more.