PlugUI is a sysadmin Web interface for small ARM-based devices running Arch Linux ARM. It will run on other distributions, but the package manager is geared to use pacman.
A Java source code analyzer.
A LaTeX development environment.