This wiki runs on Wiki.js which is a modern, fairly new Wiki engine that runs on JavaScript. It runs on a Virtual Private Server (VPS) on the TU Delft network and is ran using Docker.
The whole wiki is backed up regularly to this gitlab page
See also:
This guide consists of 2 parts, the first part is getting a webserver up and running, the second part is setting up a Wiki.js wiki using Docker containers. This guide is by no means thorough or very well written but should be enough of a starting point for anyone looking to get started with this. If you need additional information, feel free to ask, or google it and add it to the guide!