The Void source packages collection but it's not hosted on M$ owned GitHub. Auto-synced every 6 hours. I may do manual syncs if I feel like it.

Updated 3 hours ago

Yet another ZeroNet mirror

Updated 6 hours ago

ZeroNet mirror

Updated 6 hours ago

Updated 7 hours ago

ARX is a comprehensive open source data anonymization tool aiming to provide scalability and usability.

Updated 10 hours ago

Updated 15 hours ago

Event loop friendly C++ actor micro-framework

Updated 15 hours ago

ceph

Updated 20 hours ago

Updated 21 hours ago

Updated 1 day ago

Formally verified microkernel: Will it replace Linux on GNU systems? (mirror)

Updated 1 day ago

A privacy respecting, hackable Metasearch-Engine

Updated 1 day ago

Updated 1 day ago

mirror

Updated 1 day ago

dak is the collection of programs used to maintain the Debian project's archives.

Updated 1 day ago

ArabLuaTeX provides for LuaLaTeX an ArabTeX-like interface to generate Arabic writing from an ascii transliteration. Main repository:

Updated 1 day ago

Experimental OS from Russia: "userland" but also contains kernel code

Updated 1 day ago

With DocPHT you can take notes and quickly document anything and without the use of any database.

Updated 1 day ago

Gogs (Go Git Service) is a painless self-hosted Git service. https://gogs.io

Updated 1 day ago