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 …
Author: pavroo
Czy staroindyjskie pojazdy latające były napędzane rtęcią?
Pojazdy latające w starożytnych Indiach to temat tak rozległy, że nie da się go opisać w kilku słowach. Wiele ksiąg ze starożytnych Indii zawiera opisy takich pojazdów, użycie ich przez starożytnych Bogów, walki powietrzne a nawet opisy konstrukcyjne. …
Were ancient Indian flying vehicles powered by mercury?
Flying vehicles in ancient India is such a vast subject that it cannot be described in a few words. Many books from ancient India contain descriptions of such vehicles, their use by ancient Gods, air combat and even construction descriptions. Today I w…
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
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…
Instalacja Linux Mint 22
Linux Mint to dystrybucja Linux bazująca na Ubuntu, wyposażona w pulpit Cinnamon, Mint oraz Xfce. Instalator systemu oferuje możliwość instalacji
Źródło
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 …
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
Czyszczenie dachów, mycie elewacji domu – Poznań
Myjemy Ciśnieniowo to profesjonalne usługi czyszczenia dachów i mycia elewacji domu w Poznaniu i okolicach. Dzięki nowoczesnemu sprzętowi oraz sprawdzonym środkom, skutecznie usuwamy zabrudzenia, porosty, glony i zanieczyszczenia atmosferyczne, przywra…