i have mini micro, but I already chose using Processing (still deciding between P5js, P5 java for PC or APDE).
I'm unsure about judges having access to a minimicro license.
Viewing post in Sample code for display setup on Mini Micro
Mini Micro is free and does not require a license. But that's not relevant — you would publish your game to WebGL, and just embed it in your submission page, just like these games. Judges do not need to know or care what it was made with.