Tcl provides a portable scripting environment for Unix, Windows, and Macintosh that supports string processing and pattern matching, native file system access, shell-like control over other programs, TCP/IP networking, timers, and event-driven I/O. Tcl has traditional programming constructs like variables, loops, procedures, namespaces, error handling, script packages, and dynamic loading of DLLs. Tk provides portable GUIs on UNIX, Windows, and Macintosh. A powerful widget set and the concise scripting interface to Tk make it a breeze to develop sophisticated user interfaces.
The MetaC programming language is a 100% backward compatible extension to the C language that adds reflections and the ability to analyze and modify C source code at compile time. It has been specially designed to search for arbitrary code structures and instantiate new source code. Typical applications for MetaC based meta-programs are development tasks concerning embedded and real-time software. Examples are API abstraction and retargeting to a new API (ever been locked to a vendor-specific API?), application specific debugging and profiling on an embedded target, and WCET measurements.
Rugg is a hard drive and filesystem harness tool that allows you to test and benchmark drives and filesystems by writing simple to complex scenarios that can mimic the behaviour of real-world applications. Test scenarios can be implemented using Rugg's compact and versatile domain specific language.
Atli is a scripting language interpreter originally meant to be a quick way to develop a particular application's scripting language. Atli can also be used to write shell-like scripts to do tasks. Atli is a weakly typed language in which variables do not need to be declared before use. All variables are stored as strings and converted between string and number form automatically. Atli provides interfaces to cooperate with applications, so applications can exchange data and instructions with atli through a callback function.
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.
Java PathFinder is a system to verify executable Java bytecode programs. In its basic form, it is a Java Virtual Machine (JVM) that is used as an explicit state software model checker, systematically exploring all potential execution paths of a program to find violations of properties like deadlocks or unhandled exceptions. Unlike traditional debuggers, it reports the whole execution path that leads to a defect. It is especially suitable to find hard-to-test concurrency defects in multithreaded programs. The system is unique in terms of its configurability, enabling adaptation to the needs of specific test applications with respect to the properties to check, and with respect to abstraction mechanisms that can be used to improve scalability.