Web site: github.com/zenharris/ada-bbs Category: Office Subcategory: Text Editors, IRC Clients Platform: Linux, BSD, Unix-like License: MIT Interface: TUI Wikipedia: First release: 2019 Ada-bbs – an ncurses based small menu system, IRC client and general purpose input line editor/text editor all under development to create a BBS system written in Ada. Under development now is an … Read more
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: 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: 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: 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