While Alioth is down, there are http://cgit.osdyson.org/open-axiom.git/ and https://github.com/ip1981/open-axiom-debian