xv6 OS
☆9,541Aug 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,122Updated this week
- 中文版的 MIT xv6 文档☆3,527Dec 1, 2025Updated 8 months ago
- Commentary for xv6-public☆274Aug 10, 2020Updated 5 years ago
- Text describing xv6 on RISC-V☆926Sep 2, 2025Updated 10 months ago
- Projects for an undergraduate OS course☆5,941Jul 19, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Official MINIX sources - Automatically replicated from gerrit.minix3.org☆3,498Mar 18, 2024Updated 2 years ago
- A small C compiler☆11,774Oct 30, 2023Updated 2 years ago
- Complete, independent operating system built by humans.☆6,810Updated this week
- A Small C Compiler☆6,406May 2, 2024Updated 2 years ago
- How to create an OS from scratch☆30,626Feb 4, 2026Updated 5 months ago
- Writing an OS in Rust☆17,626Jul 21, 2026Updated last week
- Code from various chapters in OSTEP (http://www.ostep.org)☆4,339Nov 9, 2023Updated 2 years ago
- C in four functions☆10,756Dec 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,493Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A book-in-progress about the Linux kernel and its insides.☆32,792Jul 21, 2026Updated last week
- The Serenity Operating System 🐞☆33,698Updated 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,269Mar 11, 2026Updated 4 months ago
- Biscuit research OS☆2,573Oct 28, 2022Updated 3 years ago
- Linux kernel source tree☆241,109Updated this week
- The seL4 microkernel☆5,663Updated 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,592Oct 6, 2024Updated last year
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆9,238Updated 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,368Jun 6, 2026Updated last month
- Bootstrap yourself to write an OS from scratch. A book for self-learner.☆13,647Mar 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,479Mar 4, 2024Updated 2 years ago
- A Tiny Linux-Compatible Kernel☆3,111Jul 20, 2026Updated last week
- Rust version of THU uCore OS. Linux compatible.☆3,690Aug 24, 2023Updated 2 years ago
- GNU toolchain for RISC-V, including GCC☆4,574Jul 15, 2026Updated 2 weeks ago
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆16,467Updated this week
- How to Make a Computer Operating System in C++☆22,430Dec 16, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Cross-platform asynchronous I/O☆27,052Updated this week
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.☆39,550Updated this week
- mimalloc is a compact general purpose allocator with excellent performance.☆13,239Updated this week
- A text editor in less than 1000 LOC with syntax highlight and search.☆9,058Jan 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,585Jul 20, 2026Updated last week
- ☆11,015Updated this week