Last I checked (and remember right) they used Stackless Python. Very interesting, it can serialize tasklets and send them to another machine to continue executing. Seems no longer maintained though.