GitHub repository: Dargones/rdl
Description: Types, type checking, and contracts for Ruby