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

• brupst / awsome-bupt-rust

  View on GitHub
  A curated list of Rust code and resources made from BUPT.
  ☆79Jan 20, 2023Updated 3 years ago
• Jaic1 / xv6-riscv-rust

  View on GitHub
  ☆75May 9, 2022Updated 3 years ago
• yukiiiteru / DailySchedule_2020

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

  View on GitHub
  各类内核的设计思路
  ☆19May 19, 2021Updated 4 years ago
• dannypsnl / plt-research

  View on GitHub
  A collection of PLT researching
  ☆29Feb 21, 2025Updated last year
• brupst / brupst

  View on GitHub
  Rustaceans from Beijing University of Posts and Telecommunications.
  ☆32Dec 3, 2021Updated 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 2 years ago
• rust-analyzer / minirust

  View on GitHub
  ☆33Sep 4, 2020Updated 5 years ago
• rustsbi / xuantie

  View on GitHub
  Low level access to T-Head Xuantie RISC-V processors
  ☆34Feb 17, 2026Updated 2 weeks ago
• wangrunji0408 / rjrouter

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

  View on GitHub
  ☆30Jun 1, 2023Updated 2 years ago
• HUST-OS / luojia-os-labs

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

  View on GitHub
  Superscalar RISC-V processor written in Clash.
  ☆35Aug 23, 2022Updated 3 years ago
• 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
• lsrcz / mini-prover

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

  View on GitHub
  🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online.
  ☆318Jun 15, 2021Updated 4 years ago
• meraymond2 / idris-ide-client

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

  View on GitHub
  egraph on top of sqlite
  ☆13Mar 8, 2022Updated 3 years ago
• pku-minic / first-step

  View on GitHub
  Take your first step in writing a compiler.
  ☆29May 2, 2021Updated 4 years ago
• owo-lang / Mini-TT

  View on GitHub
  Documented version of a simple type-theoretic language: Mini-TT
  ☆18May 5, 2019Updated 6 years ago
• MarcelineVQ / idris2-streaming

  View on GitHub
  Effectful Streaming for Idris
  ☆15Dec 13, 2020Updated 5 years ago
• Kraks / MyPLZoo

  View on GitHub
  Implementations of various toy programming languages
  ☆12Apr 19, 2018Updated 7 years ago
• chyyuu / zCore-Design

  View on GitHub
  ☆13Jul 26, 2021Updated 4 years ago
• JoeyEremondi / lambda-pi-constraint

  View on GitHub
  ☆16Feb 18, 2025Updated last year
• rcore-os / aCore

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

  View on GitHub
  Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.
  ☆14Dec 16, 2020Updated 5 years ago
• Fugoes / yaay-rs

  View on GitHub
  Yet Another AsYnc runtime for RuSt.
  ☆33Feb 1, 2020Updated 6 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 2 months ago
• risinglightdb / pretty-xmlish

  View on GitHub
  Pretty printing library for SQL
  ☆24Jun 24, 2023Updated 2 years ago
• oscomp / proj4-xv6-rust

  View on GitHub
  用Rust语言重新设计与实现xv6
  ☆35Mar 7, 2022Updated 3 years ago
• Long-Live-the-DoDo / rfc

  View on GitHub
  ☆10Dec 17, 2021Updated 4 years ago
• oscomp / proj275-eBPF-for-AI-ML-tracking-and-performance-analysis

  View on GitHub
  ☆12May 13, 2025Updated 9 months ago
• oscomp / proj6-user-level-interrupt

  View on GitHub
  基于FPGA实现用户态中断硬件机制与优化操作系统内核
  ☆10Apr 1, 2025Updated 11 months 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
• oscomp / proj23-lightweight-hypervisor

  View on GitHub
  在RISC-V处理器上实现一个轻量级的Hypervisor。
  ☆12Dec 25, 2020Updated 5 years ago
• CircuitCoder / ChannelOS

  View on GitHub
  What if everything is a io_uring?
  ☆17Nov 10, 2022Updated 3 years ago
• dannypsnl / racket-llvm

  View on GitHub
  racket llvm C-API bindings
  ☆17Feb 7, 2026Updated 3 weeks ago
• matthesjh / coq-tal

  View on GitHub
  Formalization of Typed Assembly Language (TAL) in Coq
  ☆18Mar 11, 2024Updated last year
• OS-F-4 / usr-intr

  View on GitHub
  项目的主仓库
  ☆26Sep 11, 2022Updated 3 years ago