No. Axiom is alive and well and being developed.
I am changing Axiom but not posting changes until
they reach a "release" version.
The new Axiom uses common lisp rather than Spad,
has a much richer "scaffold" of inheritance, and integrates
Lean-style logic for program proof.
I know from my prior effort to eliminate the Boot language
that these changes, though required since Spad can't
handle dependent types or proofs, will be unpopular.
Axiom is a "research platform". I'm pushing a research
agenda that integrates proofs and algebra. Nobody cares.
Thus, "working in public" is not helpful.
Axiom is still free and open source. The source will be
available at every release.
Tim