Mature Libraries for Symbolic Computation

Lately, shortcomming of SymPy for Python has forced me to look for its alternatives elsewhere.
Based on the comments that I got from the Reddit community, it seems like the libraries listed below could be some good alternatives for various languages.

Name Biased Notes Wrapper Core Year Web
Sympy Slow - Python 2022 Link
SymEngine Fast, Lacking Features Python C++ 2022 Link
SageMath Sympy Backend (Slow?) ? ? 2022 Link
ViennaMath Not Being Maintained - C++ 2012 Link
SymbolicC++ Not Being Maintained - C++ 2010 Link
GiNaC   Python (incomplete) C++ 2022 Link
FORM   - C++ 2021 Link
Maxima   ? Lisp 2022 Link
JuliaSymbolics   - Julia 2022 Link