What are Cython, IronPython and PyPy? Why do alternative implementations exist?

Technical