I've just learned about raylib, which is an open-source, cross-platform framework for OpenGL-based game development. It supports Windows, MacOS, Linux (including Raspberry Pi), Android, HTML5, etc. It's a plain C library which makes it very easy to link into other languages.
So with that, and the C++ version of MiniScript, one could pretty easily make a MiniScript-based raylib development environment. MiniScript would provide the high-level, object-oriented language; raylib would provide the gaming API. It'd be a lower-level type of game development than what Mini Micro provides, but might be perfect for some folks who want more control.
I don't have time to do that myself, but if anybody wants to tackle it, you will have my full support!