Pluggable type-checking for Java
typetools/checker-framework has 1,145 GitHub stars.
It currently ranks #11416 daily, #12487 weekly, #16000 monthly by momentum on Trending Repos; its best-ever rank is #2762.