steep (rubygems): Gradual Typing for Ruby
Keywords: ruby|typechecker