claret

https://github.com/stevegeek/claret

A Ruby dialect that includes types in the language. Transpiles to Ruby and RBS by leveraging the ruby-next and irbs gems. Type checks with steep.