Web site: groups.csail.mit.edu/graphics/lapis/ Category: Office Subcategory: Text Editors, Web browsers Platform: Linux, Windows License: GNU GPL Interface: GUI Wikipedia: LAPIS First release: 1998 LAPIS – an experimental web browser and text editor that demonstrates how lightweight structure can be useful. Features: – Text constraints, a new pattern language that lets you write simple but powerful … Read more
Web site: gitlab.com/hamadmarri/gamma-text-editor Category: Office Subcategory: Text Editors Platform: Linux, OS X, Windows, BSD, Unix-like License: GNU GPL Interface: GUI Wikipedia: First release: February 2020 Gamma – a lightweight text editor. It is meant to be an alternative to Gedit or Notepad++. Although the current implementation is tested on linux under Gnome desktop environment, Gamma … 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: 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: 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