Sorbet

A static type checker for the Ruby programming language, developed and open-sourced by Stripe. It uses type annotations to provide type safety guarantees for Ruby projects, improving the maintainability of large codebases.