/github → https://github.com/ldct
/ldct → https://github.com/ldct
/swift → https://swift.exe.xyz:8000/
/gap → https://gap-cas.exe.xyz:8000/
/lean-frontend-cf → https://lean-frontend-cf.exe.xyz:8000/
/textbooks → https://mobile-textbook-reader.exe.xyz:8000/?book=dummit-foote
/calendar → https://xuanji-calendar.exe.xyz:8000/

/view-source → https://github.com/ldct/xuanji.li
/redirects.json → redirects as JSON
/redirects.txt → redirects as plain text