AFAIK parts of AXIOM live on in forked project FriCAS: https://github.com/fricas/fricas/tree/master
There were at least a couple of forks of Axiom; I think the forkers were interested in polishing, not innovating (as Tim put it), which is a shame. Tim was doing something special, but the community got fractured. Jay
