Very very interesting for me. I always wanted to do something similar for Maude in Golang (Python is not a bad choice).

Currently my focus is on data engineering, but I can use it as an inspiration.

I talked about C3 to C translator, this is what I said start small.