Web site: github.com/deadsy/go-cli Category: Office Subcategory: Text Editors Platform: Linux, BSD, OS X, Unix-like License: MIT Interface: CLI Wikipedia: First release: 2017 go-cli – a Go based line editor and command line interface. The line editing code is a port of the C based linenoise library. The line editor can be used standalone. The CLI … Read more
Web site: bear.app Category: Office Subcategory: Notes Platform: OS X, iOS License: Proprietary Interface: GUI Wikipedia: First release: unknown Bear – a note-taking app designed for Apple devices (computers, iPhones, and iPads). The note-taking app features a built-in search engine that allows you to filter notes by specific phrases or even tags. Upgrading to the … Read more
Web site: kupu.oscom.org (not active) Category: Office Subcategory: Text Editors Platform: Cross-platform License: BSD Interface: Web-interface Wikipedia: Kupu First release: 2003 Kupu – a document-centric open source client-side editor for Mozilla, Netscape and Internet Explorer. Inspired by Maik Jablonski’s Epoz editor, it was written by Paul Everitt, Guido Wesdorp and Philipp von Weitershausen (and several … Read more
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