Posted in

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 …

Posted in

Kali Linux 2025.2

Została wydana nowa wersja Kali Linux 2025.2. Kali Linux to specjalistyczna dystrybucja Linuksa służąca do przeprowadzania testów bezpieczeństwa i łamania
Źródło

Posted in

Quixe

Web site: www.eblong.com/zarf/glulx/quixe/ Category: Machine Emulators Platform: Cross-platform License: MIT Interface: Web-interface Wikipedia: First release: 2010 Quixe – a pure-Javascript interpreter for the Glulx IF virtual machine. It can pl…

Posted in

System 4

Web site: (not active) Origin: USA Category: Desktop Desktop environment: GUI Architecture: Motorola 68020 Based on: System 3 Wikipedia: System 4 Media: Install The last version | Released: 4.3 | November 1987 System 4 – a version of th…

Posted in

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 …

Posted in

Rocky Linux 10.0

Została wydana nowa wersja Rocky Linux 10.0. Rocky Linux to bazujący na Red Hat społecznościowy system operacyjny klasy Enterprise, zaprojektowany
Źródło

Posted in

JavaCPC

Web site: cpc.devilmarkus.de/news.php (not active) Category: Machine Emulators Platform: Linux, OS X, BSD, Windows License: GNU GPL Interface: GUI Wikipedia: First release: 2008 JavaCPC – an Amstrad CPC-Emulator in JAVA, based on JEMU by R. Wilso…

Accessibility Toolbar