BibTexGui is an editor for BibTeX files. It helps by providing lists of available entries and their required and optional elements. It also removes the need to think about braces and brackets.
A digital TV channel selector.
A role-based configuration management system for POSIX systems.
