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 WebSocket toolkit.
A vector graphics language for technical drawing and LaTeX.