Geek Repo
Github PK Tool:Github PK Tool
Interactively grep source code. Source for http://livegrep.com/
Configuration and scripts for docker-compose based livegrep.com deployment, as well as general-purpose livegrep Docker images.