I've built a simple Android app for Poly/ML using a Java console window and a Poly/ML executable built with the native development kit. It can be found on the SourceForge site at http://sourceforge.net/projects/polyml/files/polyml/5.5.1/androidpoly-5.5.1.... I'd be interested in any feedback and also to have some idea how practical it is to run Poly/ML on Android. One of the problems is that Android has a habit of killing processes once they are idle and it is the responsibility of the process to save its data.
Depending on feedback and the number of downloads I may consider putting it on the Android store and perhaps improving it. Of course, if anyone else is interested in working on it the source code is in the SVN repository.
David