Formal-Ed

null

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

Delicious

null

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

Hemlock

null

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

Pinboard

null

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

linenoise-baremetal

null

Web site: github.com/patrislav1/linenoise-baremetal Category: Office Subcategory: Text Editors Platform: Linux, BSD, OS X, IBM AIX, Unix-like License: BSD Interface: CLI Wikipedia: First release: 2015 linenoise-baremetal – a line editing for bare metal microcontroller applications, based on linenoise. This is a port of linenoise to bare-metal microcontroller systems. It has been stripped of any Linux dependencies, … Read more

Accessibility Toolbar