They've got a web editor (wasm-compiled version of the actual editor) that can edit and run game files, so I assume that they do have HTML5 export: https://edit

They've got a web editor (wasm-compiled version of the actual editor) that can edit and run game files, so I assume that they do have HTML5 export: https://editor.godotengine.org/releases/latest/ https://editor.godotengine.org/releases/latest/ But maybe you found that mobile Safari is missing a feature that is required? And it looks like they're making good progress on interop with JS/web code so the socket.io stuff should be possible now/soon: https://godotengine.org/article/godot-web-progress-report-9 https://godotengine.org/article/godot-web-progress-report-9