The ZX spectrum emulator zesarux should be able to run zx80 and there is an original module-script inside RetroPie-Setup for installing it.
However zx80 and zx81 are not implemented in the module-script.
Perhaps you can add it manually.
Not sure how good it will work though.
Perhaps I will test if I have time.
Contributions to the project are always appreciated, so if you would like to support us with a donation you can do so here.
Hosting provided by Mythic-Beasts. See the Hosting Information page for more information.