Androidアプリを開発する言語として使えるものには何がありますか？
自分が把握しているのは以下の３つです。
　・ Java (Android SDK)
　・ C++ (Android NDK)
　・ ActionScript (AIR)

JavaScriptでも開発できるという話を小耳に挟んだのですが、
ブラウザ上ではなくインストールする形式のアプリをJavaScriptで作れるとは信じがたいのですが……　真偽の程は？
また、これら以外にも使用できる言語はありますか？