GitHub repository: 0xflotus/sorbet
Primary language: C++
Description: A Typechecker for Ruby