GitHub repository: karmakaze/sorbet
Primary language: Ruby
Description: A fast, powerful type checker designed for Ruby