Web site: apps.apple.com/us/app/easynotes-note-taking-apps/id6450029780 Category: Office Subcategory: Notes Platform: Android, iOS License: Freeware Interface: GUI Wikipedia: First release: 2020 Easy Notes – a free note-taking app for making good notes. With this easy notebook and notepad app, take quick & good notes with colorful backgrounds and checklists to organize notes and tasks easily. Use this note … 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: 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: lionwiki-t2t.sourceforge.io Category: Network Subcategory: Wiki Platform: Cross-platform License: GNU GPL Interface: Web-interface Wikipedia: First release: 2020 LionWiki-t2t – a simple and minimalist content management system in the form of a wiki engine, based on lionwiki and the txt2tags syntax. LionWiki-t2t is based on LionWiki, with added txt2tags-based implementation. Txt2tags is a document generator … Read more
Web site: ia.net/writer Category: Office Subcategory: Text Editors Platform: iOS, Windows, OS X License: Proprietary Interface: GUI Wikipedia: iA Writer First release: 2010 iA Writer – a text editor created and developed by Information Architects GmbH. The project started in 2010 and is available to iOS, OS X, and Windows platforms. iA Writer is the … Read more