Maxima, Axiom, SymPy, and many more CAS systems exist. They don't run Mathematica code, so if that's your goal they don't help.