Filter
Sort
ziglang/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Updated 2026年07月12日 20:19:49 +02:00
Toybox combines many common Linux command line utilities together into a single BSD-licensed executable. It's simple, small, fast, and reasonably standards-compliant. The mkroot subdirectory has a tiny linux system builder (single ~500 line bash script) that builds a toybox-based root filesystem and kernel that can boot to a shell prompt under qemu, used for regression testing on a dozen architectures.
Updated 2026年07月12日 07:34:47 +02:00
Ironclad/Gloire
An OS built with the Ironclad kernel and GNU tools
Updated 2026年07月09日 11:48:09 +02:00
a nix os without systemd
Updated 2026年06月27日 07:32:31 +02:00
Ironclad/Ironclad
Formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.
Updated 2026年05月31日 06:55:37 +02:00
This repository contains the primary documentation and C/C++ header for the Limine Boot Protocol. (Moved to GitHub)
Updated 2026年04月08日 18:11:55 +02:00
Limine/Limine
Modern, advanced, portable, multiprotocol bootloader and boot manager. (Moved to GitHub)
Updated 2026年04月07日 16:05:09 +02:00
IA-64 porting efforts for OpenBSD
Updated 2026年01月14日 21:34:48 +01:00
GCC 4.6.4 fork for bootstrapping, with added RISC-V support.
Updated 2025年11月27日 14:26:07 +01:00