[gallamine]

Well, there's nothing stopping you from using GCC to target the AVR chip directly. As for Python, what about this project: http://code.google.com/p/python-on-a-chip/