
Violentmonkey
Greasemonkey
Tampermonkey
Greasy Fork
Userscripts
Database Script Tool
Script Manager โ SManager
FireMonkey
grep.app
Sourcegraph
searchcode
Sourcebot
Codase
Etsy Hound
OpenGrok
URLscan.io
ViolentmonkeyBased on our record, Violentmonkey should be more popular than grep.app. It has been mentiond 46 times since March 2021. 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.
- 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 / about 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: about 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: over 3 years ago
How though? Can you also avoid DDoS simply by designing your system to not care if the requester is a bot or not. Let's say I'm running https://grep.app/ for example. AI bots start heavily using it, costing me a ton of money. How would you magically design this so it doesn't matter if the end bots are using it? - Source: Hacker News / 3 months ago
Https://grep.app - To search repos for patterns. I usually use it when I'm using an obscure or badly documented library. https://unicode.scarfboy.com/ - Unicode stuff. There are a lot of small Unicode tool sites. - Source: Hacker News / over 1 year ago
There are some alternatives like https://grep.app or https://sourcegraph.com/search if you want fast live search, but at the end of the day these are generally expensive services to provide, especially for free anonymous users, so you should probably at least accept that service providers can and do change things like this. You can also run something like your own copy of Zoekt and then ingest repositories on... - Source: Hacker News / almost 2 years ago
Https://grep.app/ is another good one. Not sure how many repos they index though. - Source: Hacker News / almost 2 years ago
Https://grep.app/ is similar and seems to return results, but I have not compared it to native GitHub search. - Source: Hacker News / about 2 years ago
Greasemonkey - Customize the way a web page displays or behaves, by using small bits of JavaScript.
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+.
Tampermonkey - Greasemonkey compatible script manager.
searchcode - A source code search engine
Greasy Fork - A site for user scripts.
Sourcebot - Codebase understanding for humans and agents