TeXmacs always appealed to me, but I couldn't manage to get it to tangle out source code the way I wanted and ended up falling back on lesser tools like Jupyter for typesetting-CAS-code interaction. I really should revisit it, it's definitely an underappreciated gem.
I'm also delighted to note that Guile Emacs is scheduled to rise from its grave next week and I'm quite optimistic about its success this time round. Robin Templeton is apparently back working on it and they'll give a talk at Emacsconf: https://emacsconf.org/2024/talks/guile/