Thanks for sharing your experience. I read another comment about Nim being nice on microcontrollers because it compiles/transpiles to C, and my first thought was ESP32. I've written Rust for STM32 and MSP430 and it's awesome. ESP32, OTOH, seems like a nice platform but doesn't have LLVM support so C and MicroPython are pretty much the only options.