tgrep | Batch Downloader

Trigram-indexed grep with a client/server architecture for fast regex search.