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.