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