GitHub repository: neuroradiology/sorbet
Description: A fast, powerful type checker designed for Ruby