A lean Python implementation for microcontrollers and embedded systems, with ports for many popular chips and boards.