Prosody is small and works for most people. Ejabberd is what powers production servers of bigger operators, it's also used in MMORPGs.