one of their employees could doubtless say more, but at the very least I'm familiar with the actively developed https://github.com/facebook/pyre-check