Niklas Therning of RoboVM fame
provided us with a libgdx backend a while ago. Yesterday i started integrating it with our master repository, and everything went a lot smoother than expected.
What's RoboVM? An ahead-of-time compiler for JVM bytecode, targeting x86 and arm, with a focus on iOS. It supports all you can think of (JNI, full class library based on Android's latest class library, class path resources, annotations, you name it) and matures really quickly. The only thing missing is debugging support.
Given it's AOT nature, apps compiled with RoboVM can be deployed to the iOS App Store. Best of all, RoboVM is completely free of charge (apart from needing a Mac and an Apple dev license) and OSS.
We'll push this backend hard in the next few weeks/month, and will make it our default backend for iOS as soon as it's stable.
RoboVM may also be interesting to other folks, such as the JME or Ardor3D, maybe even LWJGL. Give it a try, it's pretty simple to use.