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

☆136May 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-linux

  View on GitHub
  ☆21Apr 15, 2022Updated 3 years ago
• mars-research / lvd-bflank

  View on GitHub
  ☆13Apr 9, 2022Updated 3 years ago
• YdrMaster / dtb-walker

  View on GitHub
  遍历设备树二进制对象
  ☆14Nov 22, 2025Updated 4 months ago
• matthias-brun / verified-nrkernel

  View on GitHub
  ☆22Updated this week
• theseus-os / Theseus

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

  View on GitHub
  ☆12Jan 22, 2026Updated 2 months ago
• HUST-OS / design-pattern-notes

  View on GitHub
  各类内核的设计思路
  ☆19May 19, 2021Updated 4 years ago
• miaochenlu / arch_sec_papers

  View on GitHub
  ☆16Mar 18, 2025Updated last year
• rustsbi / fast-trap

  View on GitHub
  快速陷入处理
  ☆39Jan 22, 2026Updated 2 months ago
• vmexit / trio-sosp23-ae

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

  View on GitHub
  ☆48Nov 1, 2022Updated 3 years ago
• vmware-archive / node-replicated-kernel

  View on GitHub
  Experimental kernel with built-in replication.
  ☆163Jul 17, 2025Updated 8 months ago
• rcore-os / buddy_system_allocator

  View on GitHub
  A buddy system allocator in pure Rust.
  ☆129Jan 12, 2026Updated 2 months ago
• project-dune / dune

  View on GitHub
  ☆211May 3, 2022Updated 3 years ago
• suncongxd / ReCFA

  View on GitHub
  Resillent Control-Flow Attestation
  ☆13Sep 30, 2021Updated 4 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
• 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
• josehu07 / summerset

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

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

  View on GitHub
  An experimental modular OS written in Rust.
  ☆742Updated this week
• HExSA-Lab / nautilus

  View on GitHub
  Nautilus Aerokernel
  ☆48May 11, 2022Updated 3 years 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
• ZhangHanDong / project-based-learning-rust

  View on GitHub
  Project Based Learning Rust
  ☆11Jan 16, 2024Updated 2 years ago
• HUST-OS / luojia-os-labs

  View on GitHub
  洛佳的异步内核实验室
  ☆25May 22, 2021Updated 4 years ago
• pcwalton / cxx-async-prototype

  View on GitHub
  Asynchronous C++ interoperability for Rust
  ☆10Sep 21, 2021Updated 4 years ago
• unikraft / lib-musl

  View on GitHub
  musl: A C standard library
  ☆16Feb 26, 2026Updated 3 weeks ago
• r3-os / r3

  View on GitHub
  R3-OS — Experimental static RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics
  ☆173Apr 22, 2023Updated 2 years ago
• oscomp / proj23-lightweight-hypervisor

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

  View on GitHub
  ☆28Mar 2, 2023Updated 3 years ago
• HyperEnclave / atc22-ae

  View on GitHub
  ☆31Jul 11, 2022Updated 3 years ago
• WiscADSL / uFS

  View on GitHub
  A Filesystem Semi-Microkernel.
  ☆46Oct 24, 2023Updated 2 years ago
• microsoft / demikernel

  View on GitHub
  Kernel-Bypass LibOS Architecture
  ☆1,215Feb 18, 2026Updated last month
• OS-F-4 / usr-intr

  View on GitHub
  项目的主仓库
  ☆26Sep 11, 2022Updated 3 years ago
• jiashu-z / how-to-plot

  View on GitHub
  How to plot for papers, slides, demos, etc.
  ☆10Apr 7, 2022Updated 3 years ago
• dskarlatos / MicroScope

  View on GitHub
  Microscope: Enabling Microarchitectural Replay Attacks
  ☆20Jun 26, 2020Updated 5 years ago
• oscomp / proj4-xv6-rust

  View on GitHub
  用Rust语言重新设计与实现xv6
  ☆35Mar 7, 2022Updated 4 years ago
• GLaDOS-Michigan / verification-class

  View on GitHub
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆11Feb 7, 2025Updated last year