xv6 OS
☆9,528Aug 13, 2024Updated last year
Alternatives and similar repositories for xv6-public
Users that are interested in xv6-public are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Xv6 for RISC-V☆10,101Updated this week
- 中文版的 MIT xv6 文档☆3,527Dec 1, 2025Updated 7 months ago
- Commentary for xv6-public☆274Aug 10, 2020Updated 5 years ago
- Text describing xv6 on RISC-V☆924Sep 2, 2025Updated 10 months ago
- Projects for an undergraduate OS course☆5,940Jul 19, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Official MINIX sources - Automatically replicated from gerrit.minix3.org☆3,493Mar 18, 2024Updated 2 years ago
- A small C compiler☆11,773Oct 30, 2023Updated 2 years ago
- Complete, independent operating system built by humans.☆6,809Updated this week
- A Small C Compiler☆6,404May 2, 2024Updated 2 years ago
- How to create an OS from scratch☆30,621Feb 4, 2026Updated 5 months ago
- Writing an OS in Rust☆17,614Updated this week
- Code from various chapters in OSTEP (http://www.ostep.org)☆4,337Nov 9, 2023Updated 2 years ago
- C in four functions☆10,753Dec 26, 2023Updated 2 years ago
- Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are disabled. Please o…☆13,482Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A book-in-progress about the Linux kernel and its insides.☆32,779Updated this week
- The Serenity Operating System 🐞☆33,665Updated this week
- LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.☆39,256Mar 11, 2026Updated 4 months ago
- Biscuit research OS☆2,574Oct 28, 2022Updated 3 years ago
- Linux kernel source tree☆240,601Updated this week
- The seL4 microkernel☆5,652Updated this week
- OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32☆4,047Jan 27, 2023Updated 3 years ago
- The lcc retargetable ANSI C compiler☆2,589Oct 6, 2024Updated last year
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆9,229Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Compiler Writing Journey☆13,357Jun 6, 2026Updated last month
- Bootstrap yourself to write an OS from scratch. A book for self-learner.☆13,641Mar 26, 2024Updated 2 years ago
- An unix-like toy kernel☆739Jun 14, 2021Updated 5 years ago
- Writing a sqlite clone from scratch in C☆10,480Mar 4, 2024Updated 2 years ago
- A Tiny Linux-Compatible Kernel☆3,112Jul 20, 2026Updated last week
- Rust version of THU uCore OS. Linux compatible.☆3,689Aug 24, 2023Updated 2 years ago
- GNU toolchain for RISC-V, including GCC☆4,571Jul 15, 2026Updated last week
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆16,457Updated this week
- How to Make a Computer Operating System in C++☆22,428Dec 16, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Cross-platform asynchronous I/O☆27,035Jul 20, 2026Updated last week
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.☆39,478Updated this week
- mimalloc is a compact general purpose allocator with excellent performance.☆13,222Updated this week
- A text editor in less than 1000 LOC with syntax highlight and search.☆9,053Jan 4, 2025Updated last year
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆194Jul 22, 2023Updated 3 years ago
- BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more☆22,579Jul 20, 2026Updated last week
- ☆11,009Updated this week