Redgrep – grep based on regex derivatives, matches in linear timegithub.com/google2 pointspabs35 years ago