HAProxy deserves a mention alongside those - it's particularly strong for high-traffic production environments where its advanced load balancing algorithms and detailed metrics shine.
p_ing
I would argue this is the best mainstream proxy. Even better when paired with OpenBSD and CARP.