Page Eraser is a Chrome extension that lets you erase elements on a page. You can use it to remove sidebars, distracting content and even Flash banner ads, all the while maintaining the layout of the page. Simply click the button (or press Ctrl Shift E) to enable this feature, and click the element you want to erase. If you want to get the content back, just refresh your browser.
It is a browser add-on which lets you search via your favorite search engine
This download contains 5800 sentence pairs from news sources with human annotations on whether they are paraphrases or not
Curtiss Monroe and RCS/NCR developed a set of OPOS control objects for public use, known as the "Common Control Objects"
Creates and customizes tool paths for CNC cutting machines
KShutdown is an advanced shut down utility for KDE/Linux/Windows
Simulate arandom or specified mouse clicks
Developed by DB Systems
Comments