This is Python for the STM32F405 microcontroller.
Good to see the source code and hardware source code (BoM, EAGLE files, etc).
This was a fairly successful Kickstarter (£97,803 pledged of £15,000 goal). No idea if the boards have shipped yet.
From a naive look at the source code, it seems like this would also run on other ARM boards quite happily - please correct me though!
Code will run on M3/M4 arm, like OP said.
Code has an optional compiler that uses integers instead of python objects and achieves NEAR C SPEED.
Uses GC with response time of 4 ms.
Basic compilation mode is optimized for memory consumption.
You can choose which compilation mode per function using decorators.
I believe this can run with chips costing around $3 or $4 at the low end, due to memory requirements.
It has an easy to use C api.
It can run on the netduino+(which is arduino shield compatible).
There's a REPL from the PC.
Now, just to come up with a use for it. ;-)
The Python board will do a couple of things. First, by studying the design, I'll get a gentle introduction to a micro that's much more powerful than anything I've ever dealt with. I'll see what kind of code is needed to manage such a beast. Second, I'll learn the tradeoffs between a higher level language and C for embedded projects.