Sorbet is a gradual type checker made for Ruby and written in Ruby.
Links:
Sorbet and Ruby 3 => https://sorbet.org/blog/2020/07/30/ruby-3-rbs-sorbet
Source code of the Ruby playground for my talk => https://github.com/thealiilman/a-look-into-sorbet