NDS emulators

I want to know if there are any useable emulators for NDS in the play store. Dsoid has limited functions and performs at 20fps and nds4droid is also about the same. Are there any others i have missed? I want to play pokemon platinum on my nexus 4