xv6 OS
☆9,696Aug 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,669Updated this week
- 中文版的 MIT xv6 文档☆3,545Dec 1, 2025Updated 10 months ago
- Commentary for xv6-public☆278Aug 6, 2026Updated 2 months ago
- Text describing xv6 on RISC-V☆989Sep 23, 2026Updated 3 weeks ago
- Projects for an undergraduate OS course☆6,130Jul 19, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A small C compiler☆11,944Oct 30, 2023Updated 2 years ago
- Official MINIX sources - Automatically replicated from gerrit.minix3.org☆3,517Mar 18, 2024Updated 2 years ago
- Complete, independent operating system built by humans.☆6,864Updated this week
- A Small C Compiler☆6,428May 2, 2024Updated 2 years ago
- Writing an OS in Rust☆17,781Aug 7, 2026Updated 2 months ago
- How to create an OS from scratch☆30,771Feb 4, 2026Updated 8 months ago
- Code from various chapters in OSTEP (http://www.ostep.org)☆4,459Nov 9, 2023Updated 2 years ago
- C in four functions☆10,819Dec 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,886Updated 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.
- The seL4 microkernel☆5,820Updated this week
- A book-in-progress about the Linux kernel and its insides.☆33,661Oct 13, 2026Updated last week
- The Serenity Operating System 🐞☆33,908Updated 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,502Oct 8, 2026Updated last week
- The lcc retargetable ANSI C compiler☆2,630Oct 6, 2024Updated 2 years ago
- Biscuit research OS☆2,590Oct 28, 2022Updated 3 years ago
- Linux kernel source tree☆252,384Updated this week
- OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32☆4,045Jan 27, 2023Updated 3 years ago
- GNU toolchain for RISC-V, including GCC☆4,650Aug 27, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆9,399Updated this week
- A Compiler Writing Journey☆13,462Jun 6, 2026Updated 4 months ago
- A Tiny Linux-Compatible Kernel☆3,134Oct 12, 2026Updated last week
- Bootstrap yourself to write an OS from scratch. A book for self-learner.☆13,754Mar 26, 2024Updated 2 years ago
- Rust version of THU uCore OS. Linux compatible.☆3,685Aug 24, 2023Updated 3 years ago
- Writing a sqlite clone from scratch in C☆10,535Mar 4, 2024Updated 2 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.☆41,106Updated this week
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆16,644Sep 27, 2026Updated 3 weeks ago
- How to Make a Computer Operating System in C++☆22,404Dec 16, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An unix-like toy kernel☆737Jun 14, 2021Updated 5 years ago
- ☆3,289Jan 13, 2026Updated 9 months ago
- Cross-platform asynchronous I/O☆27,272Updated this week
- ☆11,241Updated this week
- mimalloc is a compact general purpose allocator with excellent performance.☆13,473Updated this week
- A text editor in less than 1000 LOC with syntax highlight and search.☆9,189Jan 4, 2025Updated last year
- BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more☆22,715Oct 2, 2026Updated 2 weeks ago