
DXR
Sourcegraph
OpenGrok
Text Sherlock
LXR
OctoLinker
Insight.io
searchcode
Violentmonkey
Greasemonkey
Tampermonkey
Greasy Fork
Userscripts
Database Script Tool
Script Manager โ SManager
FireMonkey
DXR
ViolentmonkeyBased on our record, Violentmonkey seems to be a lot more popular than DXR. While we know about 46 links to Violentmonkey, we've tracked only 1 mention of DXR. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
There is DXR from Mozilla but I'm not sure how generalised it is. https://github.com/mozilla/dxr There is also Sourcegraph. - Source: Hacker News / about 5 years ago
- GPT 4o mini, so you can save your 4o calls for more complex queries https://github.com/altbdoor/userscripts/raw/master/force-gpt3.user.js. - Source: Hacker News / almost 2 years ago
Since Tampermonkey seems to be misbehaving, consider using Violentmonkey. Source: over 2 years ago
Step 1Install violentmonkey (or your favorite user script manager). Source: almost 3 years ago
Sounds like a good violent monkey [0] script for you do this weekend. :) [0] https://violentmonkey.github.io/. - Source: Hacker News / about 3 years ago
Toolbox is great, but if that is all you really need, here's this! You can copy and paste this as a new script to use in ViolentMonkey [AMO] or whatever script manager you use. Source: about 3 years ago
Sourcegraph - Sourcegraph is a free, self-hosted code search and intelligence server that helps developers find, review, understand, and debug code. Use it with any Git code host for teams from 1 to 10,000+.
Greasemonkey - Customize the way a web page displays or behaves, by using small bits of JavaScript.
OpenGrok - OpenGrok is a fast and usable source code search and cross reference engine.
Tampermonkey - Greasemonkey compatible script manager.
Text Sherlock - Provides a fast, easy to install and use search engine for text but, mostly for source code.
Greasy Fork - A site for user scripts.