pavroo 
Web site: www.semantic-mediawiki.org Category: Network Subcategory: Wiki Platform: Cross-platform License: GNU GPL Interface: Web-interface Wikipedia: Semantic MediaWiki First release: 2005 Semantic MediaWiki (also: SMW) – a free, open-source extension to MediaWiki – the wiki software that powers Wikipedia – that lets you store and query data within the wiki’s pages. Semantic MediaWiki is also a … Read more
Web site: freevpnbrowser.com (not active) Category: Network Subcategory: Web browsers Platform: Windows License: Freeware Interface: GUI Wikipedia: First release: 2017 (?) Globus VPN Browser – a web browser that provides secure browsing of websites via a TOR and VPN (Virtual Private Network) connection. Globus VPN Browser is based on Chromium code. By using the Internet … Read more
Web site: www.counterpath.com/x-lite/ Category: Network Subcategory: VoIP Clients Platform: Linux, Windows License: Proprietary Interface: GUI Wikipedia: First release: unknown X-Lite – a program designed for VoIP and video calls and IM text messaging, using the SIP protocol. It allows calls to landlines and mobile phones. X-Lite changed its name to Bria Solo.
Web site: www.google.com/bookmarks/ (not active) Category: Office Subcategory: Notes Platform: Cross-platform License: Proprietary Interface: Web-interface Wikipedia: Google Bookmarks First release: 2005 Google Bookmarks – a service offered by Google that allows you to store links to your favorite websites and categorize them. The service allows you to search through saved bookmarks, tags, and notes. All … 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