Web site: www.google.com/bookmarks/ (not active) Category: Office Subcategory: Notes Platform: Cross-platform License: Proprietary Interface: Web-interface Wikipedia: Google Bookmarks First release: 2005 Google Bookmarks – a service offered by Google that allows you to store links to your favorite websites and categorize them. The service allows you to search through saved bookmarks, tags, and notes. All … Read more
Web site: arxiv.org/abs/2006.03525 Category: Office Subcategory: Text Editors Platform: Cross-platform License: unknown Interface: CLI Wikipedia: First release: 2020 Formal-Ed – a formalized line editor in Coq. It provides an implementation of a line editor in Coq, and then prove that it is a complete text editor. “Collapsed” Coq code to reduce the page size, changed … Read more
Web site: delicious.com (not active) Category: Office Subcategory: Notes Platform: Cross-platform License: Proprietary Interface: GUI Wikipedia: Delicious First release: 2003 Delicious (delicious.com; previously: del.icio.us) – a website that allows you to collect and categorize links to your favorite websites. It appeared in 2003 and was developed by Joshua Schachter, co-creator of the Memepool software. It … Read more
Web site: www.cons.org/cmucl/hemlock/index.html Category: Office Subcategory: Text Editors Platform: Linux, BSD, OS X, Solaris License: Public Domain Interface: CLI Wikipedia: Hemlock First release: 1984 Hemlock – an extensible Emacs-like text editor embedded in CMUCL. It follows the tradition of the Lisp Machine editor ZWEI and the ITS/TOPS-20 implementation of Emacs. Hemlock is able to display … Read more
Web site: pinboard.in Category: Office Subcategory: Notes Platform: Cross-platform License: Proprietary Interface: Web-interface Wikipedia: Pinboard First release: 2009 Pinboard – a fast, independently run, no-nonsense bookmarking site for people who value privacy and speed, founded in 2009. Pinboard lets you bookmark from any browser, connect up Twitter accounts (and favorites), and sync with popular services … Read more