- Hugo (extended version)
- uv (Python, ruff)
- Node.js (html-validate, pa11y, prettier)
- lychee (link checking)
To check how changes look on the website, install Hugo and run
./site serveNote that while this will build the website, it will look broken since the full build requires gigabytes of static files. However, text elements, math, and general structure will be fine, so you can check that changes you make work.