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