Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/
nsjava is a loadable c-module which embeds a java virtualmachine in aolserver. This module is being developed to support the openacs project - see http://openacs.org, but it could find general application as a web development tool.