ESC/Java2 is an Extended Static Checker for Java. It automatically,
statically, and modularly detects common programming errors. It reasons
about Java programs that have (optional) annotations written in JML.
A highly configurable graphical file manager for X.
A .NET component for the generation and recognition of Linear and 2D barcodes.