Automated Type Contracts Generation for Ruby

Integrated Development Environment (IDE)