Very nice! I am curious how you built your BASIC as an EFI application. I didn't find any source code or build instructions in the downloads.

I am investigating whether it would be feasible to do something similar for Python.

Maybe the embedded python flavors would be a good fit?