Guide to p4lang repositories and some other public info about P4
jafingerhut/p4-guide has 592 GitHub stars.
It currently ranks #14242 daily, #15214 weekly, #18407 monthly by momentum on Trending Repos; its best-ever rank is #5620.