Type checking in open source projects

Hi everyone!!

I'd like to know peoples thoughts on Ruby type checking in Open Source
projects.

Now that we have both Sorbet and RBS as tools at our disposal, I'm curious
to know how open source projects are using them. A few questions I had for
any maintainers or contributors would be:

   - What Open Source ruby projects are using type checking?
   - Does it create a barrier of entry for outside contributors submitting
   PRs?
   - Has it improved code quality?
   - Thoughts on adoption, was it worth it?

I'm personally a Stan, but I was wondering what the adoption was like in
the Open Source community.

Thanks,
George