Userscripts repository. Not maintained right now.
Userscripts repository. Useful extensions for the distinguished web user.