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

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

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

Freemacs

gnu emacs

Web site: www.ibiblio.org/pub/micro/pc-stuff/freedos/files/edit/emacs/ Category: Office Subcategory: Text Editors Platform: DOS License: GNU GPL 1.0 Interface: CLI Wikipedia: Freemacs First release: 1980 Freemacs – a text editor in the Emacs family, adapted for FreeDOS. Developed by Russ Nelson in the 1980s, Freemacs is now distributed under the GNU GPL. Freemacs is a programmable editor. The .EXE … Read more

LiCe

lice

Web site: github.com/tjbh/lice Category: Network Subcategory: IRC clients Platform: Linux, BSD, Unix License: GNU GPL Interface: CLI Wikipedia: First release: 1992 LiCe – a powerful, yet easy-to-use script pack for the EPIC irc client. EPIC itself is an amazing piece of software, flexible and powerful. It is however designed to be scripted and that’s where … Read more

Accessibility Toolbar