Isn't there already Maxima which is several decades old?
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.
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.