Nginx is a web server that can also be used as a reverse proxy, load balancer, mail proxy and HTTP cache.
Pantheon is a WebOps (Website Operations) and Management Platform for WordPress and Drupal.
Varnish is a reverse caching proxy.