redox-os / redox Star 16.6k Code Issues Pull requests Mirror of https://gitlab.redox-os.org/redox-os/redox linux rust open-source freebsd openbsd redox posix operating-system bsd plan9 gnu microkernel sel4 minix gnu-hurd Updated Sep 5, 2026 Rust
kohi-gnu / barista Star 2 Code Issues Pull requests Kōhī GNU/Linux-Libre package manager package-manager gnu-linux perl command-line-tool software-management barista gnu-hurd Updated Jan 24, 2022 Perl
Aisuko / paperboy Sponsor Star 1 Code Issues Pull requests Discussions paperboy is a small collection of interactive 3D explainers for systems. javascript visualisation 3d freesoftware gnu-hurd Updated Sep 4, 2026 JavaScript
poinote9 / ExigeOS Star 1 Code Issues Pull requests Build and explore a minimal, clear operating system kernel for x86 and Raspberry Pi 3B with fully documented hardware mechanisms in C. react visualization c freebsd raspberry-pi kernel geojson osdev redox operating-system x86 bootloader bare-metal uam live-build traffic-visualizer gnu-hurd wolfi Updated Sep 5, 2026 C
pleasml / giapha-os Star 0 Code Issues Pull requests Manage and share family trees securely with Gia Phả OS, a cloud-based, open source tool designed for Vietnamese users. linux rust open-source freebsd iso redox operating-system plan9 kernel-driver bootloader hacktoberfest sel4 minix x86-assembly kernel-development gnu-hurd giapha gia-pha Updated Sep 3, 2026 TypeScript
vmactions / hurd-vm Star 0 Code Issues Pull requests Test your code in a real GNU/Hurd virtual machine on GitHub Actions -- QEMU-powered, with SSH and two-way folder sync testing vm debian ci virtual-machine qemu hurd github-actions gnu-hurd Updated Sep 4, 2026 JavaScript