ВеткаНу-ка, это как же можно скомпилировать не строго типизированный язык в код для avr-архитектуры? Какие есть под это дело …

Скомпилять на самом деле можно(так же как и node.js), но в итоге это всего-лишь обертка исполняемого кода, которая внутри себя сожержит пайтон и все связанные библиотеки). И еще динамические языки компилятся тоже, если интересно посмотрите в сторону pypy - это пайтон с jit-компилятором.