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
Web site: www.gphpedit.org (not active) Category: Office Subcategory: Text Editors Platform: Linux License: GNU GPL Interface: GUI Wikipedia: gPHPedit First release: May 2009 gPHPedit – an application supporting the creation of PHP scripts. It is written for the GNOME graphical environment. The program’s functions include highlighting lines containing syntax errors and automatic completion of entered … Read more
Web site: gobby.github.io Category: Office Subcategory: Text Editors Platform: Linux, Windows, Unix-like License: GNU GPL Interface: GUI Wikipedia: Gobby First release: 2005 Gobby – a free collaborative editor which provides the possibility to edit files simultaneously with other users over a network. The platforms on which you could use Gobby are so far Microsoft Windows, … Read more