As an alternative, I’m working on reimplementing Wolfram Language/ Mathematica in Rust: https://woxi.ad-si.com/
A lot of Wolfram Language code just works already!
If you want to use Symbolica for some of these features, feel free to reach out!
Integrating Symbolica would be awesome, but our licenses are incompatible at the moment. If you're willing to relicense parts for Woxi, I'd be happy to work on this together!
Does Woxi also show intermediate steps ? That to me is a killer feature of Mathematica.
No support for intermediate steps yet, but if there is interest in it, I'd be happy to prioritize it.