HTTP Strict Transport Security (HSTS) informs browsers that the site should only be accessed using HTTPS.
MathJax is a cross-browser JavaScript library that displays mathematical notation in web browsers, using MathML, LaTeX and ASCIIMathML markup.
Nginx is a web server that can also be used as a reverse proxy, load balancer, mail proxy and HTTP cache.
Prism is an extensible syntax highlighter.