The Pixel runs MicroPython, a version of Python built specifically for embedded devices. Aside from the modules we provide, you can of course also use the built-in modules of MicroPython.
For example, you can use the time
module to sleep for a specific amount of time, urequests
for doing HTTP(S) requests, and socket
for raw networking.
Note that we’re using a specific port of ESP32 MicroPython, that has a slightly different API for low-level functions like pin control and RTC compared to normal MicroPython.