There is a fork of Axiom called FriCAS ( https://en.wikipedia.org/wiki/FriCAS https://en.wikipedia.org/wiki/FriCAS ) which should easily run on some current CL

There is a fork of Axiom called FriCAS ( https://en.wikipedia.org/wiki/FriCAS https://en.wikipedia.org/wiki/FriCAS ) which should easily run on some current CL implementations. REDUCE still sees regular updates.