Scala is functional and translates to Java compatible bytecode. It can use Java libraries.
Statically typed programming language for the JVM, Android and the browser
Ceylon is an object-oriented, strongly statically typed programming language with an emphasis on immutability, created by Red Hat.
Groovy is a dynamic object oriented language for the JVM.