Just saw this on Slashdot. Sage uses Python and could be a good candidate for the XO some day. I am speculating, because I haven't actually used it as yet! http://sage.math.washington.edu/sage/