They might have built their own pico-8 runtime/emulator. Alternatively, porting the game to use another Lua runtime (like LÖVE) would probably not be that hard. Ex, here's a pico-8 runtime in LÖVE:

https://github.com/picolove/picolove