"Bookmarklets are special links that users can add to their browser’s favorites. These special links include code (i.e. not just a target URL), and they trigger various kinds of useful functionality, allowing you to modify and extend any web page." - it is what they do.
Check out our updated directory of bookmarklets