paralab is a framework for black-box analysis of MPI programs. It allows you to investigate communication patterns, performance issues, and algorithmic features of binary MPI programs, without any source code.
The Horde contact manager.
A general purpose programming language with a compelling feature set.