New additions:
Bear
A note-taking app designed for Apple devices (computers, iPhones, and iPads). The note-taking app features a built-in search…
July 17, 2025 | Category: Notes
Kupu
A document-centric open source client-side editor for Mozilla, Netscape and Internet Explorer…
July 15, 2025 | Category: Text Editors
Nucleus
A blog content management system written in PHP and Javascript. MySQL DBMS is used for data storage…
July 12, 2025 | Category: Content Management System
Semantic MediaWiki
A free, open-source extension to MediaWiki – the wiki software that powers Wikipedia – that lets you…
July 1, 2025 | Category: Wiki
Globus VPN Browser
A web browser that provides secure browsing of websites via a TOR and VPN (Virtual Private Network) connection…
June 28, 2025 | Category: Web Browsers
X-Lite
A program designed for VoIP and video calls and IM text messaging, using the SIP protocol. It allows calls to landlines…
June 19, 2025 | Category: VoIP
Google Bookmarks
A service offered by Google that allows you to store links to your favorite websites and categorize them…
June 17, 2025 | Category: Notes
Formal-Ed
A formalized line editor in Coq. It provides an implementation of a line editor in Coq, and then prove that it is…
June 14, 2025 | Category: Text Editors