FriCAS is a fork of Axiom.

FriCAS algebra library is written in a high level strongly typed
language (Spad), which allows natural expression of mathematical
algorithms.

FriCAS uses lightweight developement methodology.  Compared to Axiom
FriCAS is significantly restructured -- it is more portable and fixed
several defects.  FriCAS removed rather large unused parts (without
removing functionality).  It is expected that FriCAS will be much
easier to maintain than original Axiom.

Homepage:
https://fricas.sourceforge.net/
