《软件基础》中文版
Rocq-zh/SF-zh has 971 GitHub stars.
It currently ranks #16388 daily, #17282 weekly, #20296 monthly by momentum on Trending Repos; its best-ever rank is #5468.