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

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