SubLib is a library that eases the development of subtitling applications. It supports the most common text-based subtitle formats and allows for subtitle editing, conversion, and synchronization.
Gnome Subtitles is a subtitle editor for the GNOME desktop. It supports the most common text-based subtitle formats, video previewing, timings synchronization and subtitle translation.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).