Source-to-source debuggable derivatives in pure Python
Bit level lambda continuations and nothing else - Queue automata
Easy to use GUI for GDB
Static analyzer for Java bytecode
C++ based debug interface to MSP430, MSP-FET430UIF needed
gdb extension with powerful heap memory commands
Log file parser and viewer