https://github.com/py2many/static-python-skill https://github.com/py2many/static-python-skill You can stick to python and generate mojo or rust or lean. There

https://github.com/py2many/static-python-skill 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.