Google2SRT allows you to convert subtitles from
Google Video and YouTube to the SubRip (.srt)
format, which is recognized by most video players.
You can download XML subtitles or simply type the
video's URL, and Google2SRT will do the rest.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).