Puya? First time I hear of these things .. (having used ESP32, RPI Pico, Nordic and STM). Googling led me to OpenPuya https://py32.org/en/