Sorry for the slow reply! Yes, Soda is a game engine based on MiniScript and SDL. It's still pretty early in its development, and not for the faint of heart. Mini Micro is much more mature, feature-rich, and easy to use.
And no, Soda does not support web builds (unless you can figure out how to do it yourself — in theory it is possible, but it would require pretty deep knowledge of C++, SDL, and the C-to-wasm toolchains).