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
Updated 4 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
Updated 21 hours ago
Updated 1 day ago
Formally verified microkernel: Will it replace Linux on GNU systems? (mirror)
Updated 1 day ago
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