PKU compiler course online documentation.
pku-minic/online-doc has 494 GitHub stars.
It currently ranks #22425 daily, #23122 weekly, #25510 monthly by momentum on Trending Repos; its best-ever rank is #6089.