https://github.com/py2many/static-python-skill

You can stick to python and generate mojo or rust or lean.

There is more than one solution to the two language problem.