Fortress is a programming language designed for high-performance computing (HPC) with high programability. Features include implicit parallelism, transactions, mathematical syntax, static checking (but with type inference), and definition of large parts of the language in its own libraries.
Hoc, the High Order Calculator, is an interpreted language for floating-point calculations. Its most basic use is as a powerful and convenient calculator, interactively evaluating expressions such as 1+2*sin(0.7). But hoc is no ordinary calculator: It also lets you assign values to variables, define your own functions, and use loops, conditionals, and everything else you'd expect in a programming language.
The Virgil Programming Language is designed for building robust, flexible, and scalable software systems on embedded hardware platforms such as microcontrollers. Virgil builds on ideas from object-oriented, statically typed languages like Java, providing a clean, consistent source language. Its compiler system provides an efficient implementation for resource-constrained environments.
The Units Conversion Library provides a facility for converting from a variety of scientific and engineering shorthand notations into floating point numbers. This allows application developers to easily convert value strings like "9.2 meters/second" and "20 miles/hour" into uniformly scaled floating point numbers. The library is implemented in both Tcl and C, and supporting other scripting languages should be straightforward.
OzVM (Virtual Machine Project) is a simple, lightweight, secure virtual machine. The current target application of OzVM is OzStream, which allows platform independent self-decoding of data. The vision of OzStream is to make any and all compressed media self-extracting. OzStream abstracts compressed media from client applications, providing new freedom for users, developers, and compression techniques.