I bought ESP32 thing and installed MicroPython.

While the chip is only 5mm x 5mm, quite easily, I can write a script of simple web service for GPIO control through WiFi.

I wonder if it were "MicroGNU"... Possibly, the scripting would be done by Scheme.