Author: pavroo

Posted in

Kicksecure

Strona domowa: www.kicksecure.com Dokumentacja: www.kicksecure.com/wiki/Documentation Forum: forums.kicksecure.com Pochodzenie: Kanada Kategoria: Specjalistyczne Pulpit: Xfce Architektura: x86_64 Bazuje na: Debian Użytkownik: Średniozaawansowany
Źródło…

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 …

Accessibility Toolbar