Google PageSpeed is a family of tools designed to help websites performance optimisations.
Nginx is a web server that can also be used as a reverse proxy, load balancer, mail proxy and HTTP cache.
PHP is a general-purpose scripting language used for web development.
Stripe offers online payment processing for internet businesses as well as fraud prevention, invoicing and subscription management.
Typekit is an online service which offers a subscription library of fonts.