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.novius-os.org (not active) Category: Network Subcategory: Content Management System Platform: Cross-platform License: GNU AGPL Interface: Web-interface Wikipedia: Novius OS First release: 2012 Novius OS – an open-source PHP content management system (CMS) designed as an applications platform, hence the ‘OS’ suffix. You tailor Novius OS to your content through the creation of custom … Read more
Web site: ww.softwaregarden.com/products/wikicalc/ Category: Network Subcategory: Wiki Platform: Cross-platform License: GNU GPL Interface: Web-interface Wikipedia: wikiCalc First release: 2005 wikiCalc – a web application created by Daniel Bricklin. It acts as a spreadsheet for the Wiki interface. The wikiCalc program lets you make web pages with more than just paragraphs of prose. It combines the … Read more
Web site: github.com/xchat-gnome/xchat-gnome Category: Network Subcategory: IRC clients Platform: Linux, BSD License: GNU GPL Interface: GUI Wikipedia: First release: unknown XChat-GNOME – a simple and featureful IRC client for GNOME with ability to transfer files. It is a frontend for the popular X-Chat IRC client targeted towards the GNOME platform. X-Chat has been a popular … Read more
Web site: delicious.com (not active) Category: Office Subcategory: Notes Platform: Cross-platform License: Proprietary Interface: GUI Wikipedia: Delicious First release: 2003 Delicious (delicious.com; previously: del.icio.us) – a website that allows you to collect and categorize links to your favorite websites. It appeared in 2003 and was developed by Joshua Schachter, co-creator of the Memepool software. It … Read more