Formal-Ed

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

Source

Novius OS

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

Source

wikiCalc

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

Source

Ghost Browser

Web site: ghostbrowser.com Category: Network Subcategory: Web browsers Platform: Linux, OS X, Windows License: Proprietary Interface: GUI Wikipedia: First release: unknown Ghost Browser – a multi-session web browser that lets you manage any number of social media accounts in one active window. Ghost Browser is perfect for managing multiple social media profiles. In addition, you ... Read more

Source

XChat-GNOME

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

Source

Delicious

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

Source

Hemlock

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

Source

MODX

Web site: modx.com Category: Network Subcategory: Content Management System Platform: Cross-platform License: GNU GPL Interface: Web-inteface Wikipedia: MODX First release: 2004 MODX (pronounced “modeks”) – an open source, open license content management system. It is written in the PHP programming language and uses MySQL or MS SQL DBMS for data storage. Goals: – Blazing fast ... Read more

Source

JotSpot

Web site: (not active) Category: Network Subcategory: Wiki Platform: Cross-platform License: unknown Interface: Web-interface Wikipedia: First release: 2004 JotSpot – an enterprise social software. It was targeted mainly at small-sized and medium-sized businesses. The company was founded by Joe Kraus and Graham Spencer, co-founders of Excite. JotSpot was created in 2004 by JotSpot, Inc, and ... Read more

Source

Coowon

Web site: www.coowon.com Category: Network Subcategory: Web browsers Platform: Windows License: Freeware Interface: GUI Wikipedia: First release: 2012 Coowon – a free web browser based on the Chromium source code. The browser is distinguished by its mouse gesture support, the ability to log in to multiple user accounts simultaneously in special tabs, as well as ... Read more

Source

Accessibility Toolbar