GitHub repository: pku-minic/online-doc
Description: PKU compiler course online documentation.