imtsuki/xv7 external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

imtsuki/xv7

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/imtsuki/xv7)

Close

imtsuki / xv7View on GitHubMore

• External links
• Readme badge

🦀️ Operating System in 100% Pure Rust

☆102May 8, 2021Updated 5 years ago

Alternatives and similar repositories for xv7

Users that are interested in xv7 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• brupst / awsome-bupt-rust

  View on GitHub
  A curated list of Rust code and resources made from BUPT.
  ☆79Jan 20, 2023Updated 3 years ago
• Makiras / makiras_dns_refact

  View on GitHub
  DNS Server, School homework, support DoT / resolve by list
  ☆10Sep 16, 2020Updated 5 years ago
• brupst / brupst

  View on GitHub
  Rustaceans from Beijing University of Posts and Telecommunications.
  ☆32Dec 3, 2021Updated 4 years ago
• yukiiiteru / DailySchedule_2020

  View on GitHub
  OS Tutorial Summer of Code 2020
  ☆19Jun 7, 2022Updated 4 years ago
• HUST-OS / design-pattern-notes

  View on GitHub
  各类内核的设计思路
  ☆19May 19, 2021Updated 5 years ago
• Deploy open-source AI quickly and easily - Special Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• rust-analyzer / minirust

  View on GitHub
  ☆33Sep 4, 2020Updated 5 years ago
• Jaic1 / xv6-riscv-rust

  View on GitHub
  ☆77May 9, 2022Updated 4 years ago
• pku-minic / first-step-rs

  View on GitHub
  Take your first step in writing a compiler. Implemented in Rust.
  ☆16Apr 17, 2023Updated 3 years ago
• rcore-os / x86-smpboot

  View on GitHub
  Booting multi-processors on x86 bare-metal.
  ☆12Feb 25, 2022Updated 4 years ago
• dannypsnl / plt-research

  View on GitHub
  A collection of PLT researching
  ☆28Feb 21, 2025Updated last year
• rcore-os / nvme_driver

  View on GitHub
  ☆31Jun 1, 2023Updated 3 years ago
• rafalmiel / cykusz-rs

  View on GitHub
  Toy operating system written in Rust
  ☆24May 2, 2026Updated last month
• yihozhang / egraph-sqlite

  View on GitHub
  egraph on top of sqlite
  ☆13Mar 8, 2022Updated 4 years ago
• wangrunji0408 / rjrouter

  View on GitHub
  [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)
  ☆14Oct 8, 2020Updated 5 years ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• losfair / Violet

  View on GitHub
  Superscalar RISC-V processor written in Clash.
  ☆35Aug 23, 2022Updated 3 years ago
• skyzh / core-os-riscv

  View on GitHub
  🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online.
  ☆320Jun 15, 2021Updated 4 years ago
• chyyuu / zCore-Design

  View on GitHub
  ☆13Jul 26, 2021Updated 4 years ago
• lsrcz / mini-prover

  View on GitHub
  Term project for TaPL. A mini coq-like proof assistant.
  ☆17Jun 17, 2018Updated 7 years ago
• rcore-os / aCore

  View on GitHub
  Asynchronous OS kernel written in Rust.
  ☆32Nov 27, 2020Updated 5 years ago
• typekernel / typekernel

  View on GitHub
  Warning: 🕳 ahead!
  ☆16Jan 8, 2020Updated 6 years ago
• BugenZhao / litchi-rs

  View on GitHub
  An x86-64 kernel with ~100% Rust (originally) in a week. `async` inside!
  ☆54May 8, 2022Updated 4 years ago
• JoeyEremondi / lambda-pi-constraint

  View on GitHub
  ☆16Feb 18, 2025Updated last year
• dannypsnl / write-a-programming-language

  View on GitHub
  How to make a new language(and why we shouldn't?)
  ☆40Aug 8, 2023Updated 2 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• MarcelineVQ / idris2-streaming

  View on GitHub
  Effectful Streaming for Idris
  ☆15Dec 13, 2020Updated 5 years ago
• skyzh / raft-kvs

  View on GitHub
  ⛵ A distributed key-value store based on Raft. (WIP)
  ☆45May 1, 2020Updated 6 years ago
• Long-Live-the-DoDo / rfc

  View on GitHub
  ☆10Dec 17, 2021Updated 4 years ago
• pingcap / tidb-dev-guide

  View on GitHub
  A comprehensive development guide to help you be more and more familiar with the TiDB community and become an expert finally.
  ☆124May 1, 2026Updated last month
• Kraks / MyPLZoo

  View on GitHub
  Implementations of various toy programming languages
  ☆12Apr 19, 2018Updated 8 years ago
• Harry-Chen / TrivialTomasulo

  View on GitHub
  Tomasulo Simulator written in React as the project for Computer Architecture course, Spring 2019, Tsinghua University
  ☆12Jun 9, 2019Updated 7 years ago
• Gaojianli / bupt-class-chooser

  View on GitHub
  An script for choosing class by a way of massive polling on jwgl.bupt.edu.cn
  ☆18Jan 2, 2020Updated 6 years ago
• jiegec / Projects

  View on GitHub
  A summary of my projects
  ☆49Dec 29, 2025Updated 5 months ago
• risinglightdb / pretty-xmlish

  View on GitHub
  Pretty printing library for SQL
  ☆24Jun 24, 2023Updated 2 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• skyzh / uring-positioned-io

  View on GitHub
  Async positioned I/O with io_uring.
  ☆44Mar 5, 2021Updated 5 years ago
• JmPotato / BUPT-Grader

  View on GitHub
  一键查询北邮教务成绩
  ☆18Jun 12, 2019Updated 7 years ago
• rsy56640 / triviality

  View on GitHub
  record some trivialities
  ☆54Feb 1, 2024Updated 2 years ago
• dark-flames / yukino-dev

  View on GitHub
  A type-driven and high-performance ORM framework in Rust
  ☆31Jun 13, 2025Updated last year
• MoganLab / lolly

  View on GitHub
  lolly: A user-friendly C++ library
  ☆12Jun 6, 2026Updated last week
• meraymond2 / idris-ide-client

  View on GitHub
  TypeScript client for Idris IDE-mode.
  ☆13Nov 6, 2022Updated 3 years ago
• skyzh / BPlusTree

  View on GitHub
  🌲 Fully unit-tested B+ tree with basic paging implemented in C++
  ☆17Jul 8, 2019Updated 6 years ago