I’m finding someone like SymPy for Python.
Not that powerful but maintenance is very active?
Is there any one like that?
crates.io lists several options: https://crates.io/search?q=algebra
None of them seem ready for prime-time currently. It looks to me like your best bet would be “alga”.