I would you like to add new type checking for https://github.com/sorbet/sorbet. Some information is missing, but I think it's better than nothing. Website: https://sorbet.org/