A bounded Node.js crawler for static HTML pages. It uses the built-in Fetch API, Cheerio, and robots-parser. The original implementation used the same core libraries; the hardened version keeps that ...
All profile content lives in index.md. Navigation jumps within that page. Research, CV, Teaching and /MFS.html are compatibility redirects, not separate profiles ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results