Updated 5 hours ago

Free and Open Source PHP Comment System.

Updated 6 hours ago

OBS - Free and open source software for live streaming and screen recording https://obsproject.com/mantis/

Updated 7 hours ago

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

Updated 8 hours ago

Updated 8 hours ago

Das U-Boot bootloader

Updated 12 hours ago

ceph

Updated 13 hours ago

Python-based extendable tool

Updated 14 hours ago

Updated 14 hours ago

transform a text and markdown into static website

Updated 16 hours ago

A privacy respecting, hackable Metasearch-Engine

Updated 17 hours ago

mirror

Updated 17 hours ago

Mirror of git.openstack.org/openstack-infra/shade for browsability.

Updated 18 hours ago

My changes to NetworkManager

Updated 18 hours ago

An easy to use digital photograph metadata (EXIF, IPTC, XMP) editing application.

Updated 22 hours ago

Updated 1 day ago

A free/libre code and information platform for reviews of anything

Updated 1 day ago

AV1 from Alliance for Open Media: Google, Mozilla, Xiph.org, Cisco, ...

Updated 1 day ago

disassembly of Pokémon Red/Blue

Updated 1 day ago

PDP-10 Muddle

Updated 1 day ago