Of interest may be my project that implements a CLIM-based user interface on top of Maxima. It turns out that CLIM is perfect for this, as its idea of presentation forms matches the way mathematical expressions are represented in Maxima.
I have made a few videos showing how it works. It's also available on Flathub, or if you're brave you can build it yourself.
https://peertube.mastodon.host/videos/watch/df751bd5-5a26-44...
https://peertube.mastodon.host/videos/watch/b003360f-97a9-4f...