$ show pku-minic/online-doc
This repository hosts the online documentation for Peking University's compiler course (SysY to RISC-V). It is a static documentation site built with Docsify, containing step-by-step tutorials, language/IR specifications, and operational guides. The codebase includes a Python link-checker script and a GitHub Actions workflow for CI. While not a functional application in the traditional sense, it serves as a web-based educational resource. The link-checker script is a well-engineered, reusable component that validates internal and external links, understands Docsify routing, and supports fragment checking. The repository is actively maintained with a working CI pipeline.
The LLM identified 1 files worth highlighting for reuse:
A standalone, reusable Python script that checks the validity of links in a Docsify-based documentation site. It supports both local file checks (with Docsify-specific routing resolution) and remote HTTP(S) link validation (HEAD/GET with retries, fragment verification). Implemented with asyncio for concurrency, it uses markdown-it for Markdown parsing and selectolax for HTML. It can be easily extracted and configured via TOML for any documentation project, demonstrating advanced skills in async I/O, link validation, and custom routing logic.