Groovy is an agile, dynamic language for the JVM which combines many features from languages like Python, Ruby, and Smalltalk and makes them available to Java developers using a Java-like syntax. It is designed to help get things done on the Java platform in a quicker, more concise, and fun way. It can be used as an alternative compiler to javac to generate standard Java bytecode to be used by any Java project or it can be used dynamically as an alternative language, such as for scripting Java objects, templating, or writing unit test cases.
The Karmasphere DP language is a high-performance non-blocking parallel language for performing data processing. It is designed to give the user a high degree of control over the usage of system resources, such as how many CPU cores or how much disk I/O time to use, without requiring the software developer to explicitly consider these issues in code. The implementation is a stand-alone library that can be used in any Java 1.5 environment. It can take full advantage of multiprocessor (SMP or NUMA) systems, and may be scaled sideways: since the interpreter and environment are stateless, an entire cluster of machines may run the interpreter in parallel without any need for synchronization.
The Aegis VM Project is an ongoing effort to develop a lightweight, secure virtual machine for executing Java bytecode. The VM is intended to be an extension framework for applications or devices that dynamically load and execute untrusted extensions. The Aegis VM will eventually feature a modular bytecode verification architecture, Proof Linking, which supports pluggable verification modules so that various static verification or analysis technologies can be integrated into the VM's dynamic linking process with minimal efforts. This benefit is achieved by allowing verification sessions to communicate with each other only through explicit formulation of proof obligations, the discharging of which is scheduled to happen at specific points of the dynamic linking process to protect the integrity of the VM. A generic framework for formulating, scheduling, and discharging proof obligations is built into the VM.