@jrohanian You may have missed it, but the last question in the FAQ is
WIll there be an Android version of Codea?
It’s answer is
There are no plans at the moment to build an Android version. We hope someone attempts this when we start open sourcing the backend of Codea.

I’m sure the backend they speak of is out
If you wanted to, you could use that to write an Android cross compiler


You could use @tnology 's cross compiler