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 4 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
• brupst / brupst

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

  View on GitHub
  Low level access to T-Head Xuantie RISC-V processors
  ☆35Mar 26, 2026Updated 2 weeks ago
• yukiiiteru / DailySchedule_2020

  View on GitHub
  OS Tutorial Summer of Code 2020
  ☆19Jun 7, 2022Updated 3 years ago
• rust-analyzer / minirust

  View on GitHub
  ☆33Sep 4, 2020Updated 5 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• Jaic1 / xv6-riscv-rust

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

  View on GitHub
  Take your first step in writing a compiler. Implemented in Rust.
  ☆16Apr 17, 2023Updated 2 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
  ☆29Feb 21, 2025Updated last year
• HUST-OS / luojia-os-labs

  View on GitHub
  洛佳的异步内核实验室
  ☆25May 22, 2021Updated 4 years ago
• rcore-os / nvme_driver

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

  View on GitHub
  Toy operating system written in Rust
  ☆24Jan 6, 2026Updated 3 months ago
• yihozhang / egraph-sqlite

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

  View on GitHub
  Superscalar RISC-V processor written in Clash.
  ☆35Aug 23, 2022Updated 3 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• wangrunji0408 / rjrouter

  View on GitHub
  [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)
  ☆14Oct 8, 2020Updated 5 years ago
• skyzh / core-os-riscv

  View on GitHub
  🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online.
  ☆319Jun 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
• Fugoes / yaay-rs

  View on GitHub
  Yet Another AsYnc runtime for RuSt.
  ☆33Feb 1, 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 3 years ago
• JoeyEremondi / lambda-pi-constraint

  View on GitHub
  ☆16Feb 18, 2025Updated last year
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• 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
• 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 5 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.
  ☆123Dec 17, 2025Updated 3 months ago
• Kraks / MyPLZoo

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

  View on GitHub
  Tomasulo Simulator written in React as the project for Computer Architecture course, Spring 2019, Tsinghua University
  ☆11Jun 9, 2019Updated 6 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 3 months ago
• Wordpress hosting with auto-scaling - Free Trial • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• risinglightdb / pretty-xmlish

  View on GitHub
  Pretty printing library for SQL
  ☆24Jun 24, 2023Updated 2 years ago
• 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
  一键查询北邮教务成绩
  ☆19Jun 12, 2019Updated 6 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 10 months ago
• MoganLab / lolly

  View on GitHub
  lolly: A user-friendly C++ library
  ☆12Jun 23, 2025Updated 9 months ago
• meraymond2 / idris-ide-client

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