A fast, powerful type checker designed for Ruby - View it on GitHub