http://www.mathics.org/
link