also https://searchcode.com/ was posted on a HN thread about niche search engines a couple days ago