Userscripts
Violentmonkey
Greasemonkey
Tampermonkey
Greasy Fork
Database Script Tool
Script Manager โ SManager
FireMonkey
grep.app
Sourcegraph
searchcode
Sourcebot
Codase
Etsy Hound
OpenGrok
URLscan.io
Userscriptsgrep.app might be a bit more popular than Userscripts. We know about 16 links to it since March 2021 and only 14 links to Userscripts. 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.
The looking icon is the Userscripts extensions. https://github.com/quoid/userscripts. - Source: Hacker News / 7 months ago
Hi, I'm Will. I'm 24, autistic, and have OCD tendencies. I'm learning to code and this is my first public project. Iโd really appreciate your feedback and encouragement! This project lets me solve some of my OCD problems online. There are a couple of parts of the forums that I visit โ Space Battles, Sufficient Velocity, and Questionable Questing โ that I want to remove. Specifically, I hate seeing indicators of... - Source: Hacker News / over 2 years ago
You can use userscripts [1] which is a safari extension which allows you to add userscripts, and the author of this work have an userscript [2] that you can use with safari (or any other browser) [1] https://github.com/quoid/userscripts. - Source: Hacker News / over 2 years ago
That Safari also supports UserScripts and Extensions also somewhat mutes some of Arc's benefits, so it will be interesting to see how/if Arc responds. Source: about 3 years ago
}` In Safari, using Userscripts extension: https://github.com/quoid/userscripts#userscripts-safari. - Source: Hacker News / 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
Violentmonkey - Violentmonkey is a userscript manager to support running userscripts in web pages.
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.
searchcode - A source code search engine
Tampermonkey - Greasemonkey compatible script manager.
Sourcebot - Codebase understanding for humans and agents