This web page was created and is maintained using the Markdown markup language and a few custom scripts. There are many alternative implementations, from which I chose to use Discount.
I edit a local copy on my computer, and upload changes to the server using the scripts reset.sh and upload.sh, which call duck.
The course calendar was generated from calendar.txt.
The following is a tarball of the source directory: source.tar.gz
The following is the Markdown source: index.md