xv6 OS
☆9,567Aug 13, 2024Updated 2 years ago
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,234Updated this week
- 中文版的 MIT xv6 文档☆3,536Dec 1, 2025Updated 8 months ago
- Commentary for xv6-public☆274Aug 6, 2026Updated 2 weeks ago
- Text describing xv6 on RISC-V☆940Aug 6, 2026Updated 2 weeks ago
- Projects for an undergraduate OS course☆5,977Jul 19, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Official MINIX sources - Automatically replicated from gerrit.minix3.org☆3,493Mar 18, 2024Updated 2 years ago
- A small C compiler☆11,831Oct 30, 2023Updated 2 years ago
- Complete, independent operating system built by humans.☆6,823Updated this week
- A Small C Compiler☆6,410May 2, 2024Updated 2 years ago
- How to create an OS from scratch☆30,657Feb 4, 2026Updated 6 months ago
- Writing an OS in Rust☆17,668Aug 7, 2026Updated 2 weeks ago
- Code from various chapters in OSTEP (http://www.ostep.org)☆4,357Nov 9, 2023Updated 2 years ago
- C in four functions☆10,778Dec 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,596Updated 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,939Updated this week
- The Serenity Operating System 🐞☆33,762Updated 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,343Mar 11, 2026Updated 5 months ago
- Biscuit research OS☆2,574Oct 28, 2022Updated 3 years ago
- Linux kernel source tree☆243,403Updated this week
- The seL4 microkernel☆5,699Aug 6, 2026Updated 2 weeks ago
- 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,604Oct 6, 2024Updated last year
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆9,281Updated 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 Compiler Writing Journey☆13,380Jun 6, 2026Updated 2 months ago
- Bootstrap yourself to write an OS from scratch. A book for self-learner.☆13,673Mar 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,500Mar 4, 2024Updated 2 years ago
- A Tiny Linux-Compatible Kernel☆3,122Aug 3, 2026Updated 2 weeks ago
- Rust version of THU uCore OS. Linux compatible.☆3,690Aug 24, 2023Updated 2 years ago
- GNU toolchain for RISC-V, including GCC☆4,588Updated this week
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆16,522Updated this week
- How to Make a Computer Operating System in C++☆22,409Dec 16, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Cross-platform asynchronous I/O☆27,123Updated this week
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.☆39,834Updated this week
- mimalloc is a compact general purpose allocator with excellent performance.☆13,310Updated this week
- A text editor in less than 1000 LOC with syntax highlight and search.☆9,078Jan 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,626Updated this week
- ☆11,051Aug 10, 2026Updated last week