As a Google Summer of Code project, I worked on transpiling Maxima CAS to Python, both high level languages. The approach I followed involved conversion to an internal custom defined IR, and then converting that to Python code.
The full project report: https://gist.github.com/LakshyAAAgrawal/33eee2d33c4788764087...