GitHub repository: ngsankha/rdl
Primary language: Ruby
Description: Types, type checking, and contracts for Ruby