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