mars-research/redleaf 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

mars-research/redleaf

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/mars-research/redleaf)

Close

mars-research / redleafView on GitHubMore

• External links
• Readme badge

RedLeaf Operating System

☆138May 9, 2022Updated 3 years ago

Alternatives and similar repositories for redleaf

Users that are interested in redleaf are comparing it to the libraries listed below

• project-flexos / asplos22-ae

  View on GitHub
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆19Apr 2, 2022Updated 3 years ago
• mars-research / lvd-bflank

  View on GitHub
  ☆13Apr 9, 2022Updated 3 years ago
• mars-research / lvd-linux

  View on GitHub
  ☆21Apr 15, 2022Updated 3 years ago
• HUST-OS / design-pattern-notes

  View on GitHub
  各类内核的设计思路
  ☆19May 19, 2021Updated 4 years ago
• AsyncOS / AsyncOS.github.io

  View on GitHub
  ☆12Jan 22, 2026Updated last month
• josehu07 / summerset

  View on GitHub
  Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research
  ☆17Updated this week
• vmexit / trio-sosp23-ae

  View on GitHub
  ☆20Sep 8, 2025Updated 5 months ago
• LearningOS / oscomp-kernel-training

  View on GitHub
  ☆48Nov 1, 2022Updated 3 years ago
• rustsbi / fast-trap

  View on GitHub
  快速陷入处理
  ☆39Jan 22, 2026Updated last month
• 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
• YdrMaster / dtb-walker

  View on GitHub
  遍历设备树二进制对象
  ☆14Nov 22, 2025Updated 3 months ago
• unikraft / lib-musl

  View on GitHub
  musl: A C standard library
  ☆17Updated this week
• vmware-archive / node-replicated-kernel

  View on GitHub
  Experimental kernel with built-in replication.
  ☆163Jul 17, 2025Updated 7 months ago
• oscomp / proj6-user-level-interrupt

  View on GitHub
  基于FPGA实现用户态中断硬件机制与优化操作系统内核
  ☆10Apr 1, 2025Updated 11 months ago
• KuangjuX / hypercraft

  View on GitHub
  hypercraft is a VMM library written in Rust.
  ☆54Oct 20, 2024Updated last year
• theseus-os / Theseus

  View on GitHub
  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…
  ☆3,127Sep 22, 2024Updated last year
• miaochenlu / arch_sec_papers

  View on GitHub
  ☆16Mar 18, 2025Updated 11 months 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
• Jiacheng / honeycomb-osdi23-ae

  View on GitHub
  ☆16May 22, 2023Updated 2 years ago
• OS-F-4 / usr-intr

  View on GitHub
  项目的主仓库
  ☆26Sep 11, 2022Updated 3 years ago
• project-dune / dune

  View on GitHub
  ☆211May 3, 2022Updated 3 years ago
• duowen1 / container-from-scratch-in-c

  View on GitHub
  A container engine from scratch in C language, without any LXC or Docker
  ☆18Jun 17, 2022Updated 3 years ago
• rcore-os / buddy_system_allocator

  View on GitHub
  A buddy system allocator in pure Rust.
  ☆129Jan 12, 2026Updated last month
• pku-minic / first-step

  View on GitHub
  Take your first step in writing a compiler.
  ☆29May 2, 2021Updated 4 years ago
• markcty / rMiniK8s

  View on GitHub
  A simple containerized application manage system like Kubernetes, but written in Rust
  ☆19Jun 25, 2022Updated 3 years ago
• matthias-brun / verified-nrkernel

  View on GitHub
  ☆22Updated this week
• HyperEnclave / atc22-ae

  View on GitHub
  ☆32Jul 11, 2022Updated 3 years ago
• jwnhy / coffer

  View on GitHub
  Coffer is a RISC-V trusted execution environment developed in Rust.
  ☆20Mar 3, 2022Updated 3 years ago
• asterinas / sworndisk-oscomp

  View on GitHub
  SwornDisk是一个面向可信执行环境的、基于日志结构的安全块设备（全国大学生操作系统比赛2022）
  ☆24Aug 14, 2022Updated 3 years ago
• arceos-org / arceos

  View on GitHub
  An experimental modular OS written in Rust.
  ☆739Updated this week
• riscv / virtual-memory

  View on GitHub
  ☆39Sep 15, 2021Updated 4 years ago
• dskarlatos / MicroScope

  View on GitHub
  Microscope: Enabling Microarchitectural Replay Attacks
  ☆20Jun 26, 2020Updated 5 years ago
• olivierpierre / unikernel-papers

  View on GitHub
  ☆127Feb 3, 2026Updated 3 weeks ago
• YangZhou1997 / SafeBricks

  View on GitHub
  This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…
  ☆10Feb 3, 2020Updated 6 years ago
• oscomp / proj4-xv6-rust

  View on GitHub
  用Rust语言重新设计与实现xv6
  ☆35Mar 7, 2022Updated 3 years ago
• intel-staging / tdx

  View on GitHub
  ☆94Updated this week
• CMU-SAFARI / Virtuoso

  View on GitHub
  Virtuoso is a fast, accurate and versatile simulation framework designed for virtual memory research. Virtuoso uses a new simulation met…
  ☆81Feb 15, 2026Updated 2 weeks ago
• chyyuu / aos_course_info

  View on GitHub
  advanced os course info & some os papers
  ☆352Aug 7, 2025Updated 6 months ago