ECLiPSe Constraint Logic Programming System
A tool that inserts code into Java class files for logging
C/C++ function instrumentation (AOP, exception/stack tracing, GC)
Aid in finding infinite loops in Java programs on production systems
moved to http://sourceforge.net/projects/gdbx/
Bit level lambda continuations and nothing else - Queue automata
Unified Test and Logging layer for multiple programming languages