HTTP Strict Transport Security (HSTS) informs browsers that the site should only be accessed using HTTPS.
Nginx is a web server that can also be used as a reverse proxy, load balancer, mail proxy and HTTP cache.
Sphinx is a tool that makes it easy to create documentation.
Varnish is a reverse caching proxy.