Rust Unikernel OS
☆90Jan 22, 2026Updated last month
Alternatives and similar repositories for ruxos
Users that are interested in ruxos are comparing it to the libraries listed below
Sorting:
- hvisor tool for root linux, includes CLI, Virtio daemon and hvisor kernel module☆14Feb 13, 2026Updated 2 weeks ago
- safe type-1 Rust Hypervisor for edge devices☆170Updated this week
- An experimental modular OS written in Rust.☆739Updated this week
- An experimental RTOS written in Rust.☆40Dec 7, 2022Updated 3 years ago
- A Type-1.5 hypervisor written in Rust.☆70May 12, 2024Updated last year
- Hybrid typenum/const generic arrays☆20Feb 12, 2026Updated 2 weeks ago
- 开源软件供应链点亮计划 - 暑期2020的主页代码。This repository is the homepage for Open Source Promotion Plan - Summer 2020 built with create-react-app.☆10Aug 28, 2024Updated last year
- ☆11Feb 20, 2025Updated last year
- Verify naive = datafrog-opt, in rust/polonius☆15Jun 26, 2025Updated 8 months ago
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated this week
- https://learningos.cn/os-lectures/ 2026年春季OS课程Slides\实验指导\思维导图\挑战项目等☆785Updated this week
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆49Mar 29, 2022Updated 3 years ago
- ☆17Feb 6, 2026Updated 3 weeks ago
- A Rust library offering newtyped indices and vecs that use those indices☆20Aug 17, 2024Updated last year
- musl: A C standard library☆17Updated this week
- A Rust Linter with Decoupled Rule Definition and Detection Logic.☆17Feb 4, 2026Updated last month
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆36Sep 15, 2024Updated last year
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆59Nov 30, 2023Updated 2 years ago
- Microkit - A simple operating system framework for the seL4 microkernel☆174Feb 26, 2026Updated last week
- 宇树雷达使用fastlio的ros2版本☆26Mar 27, 2025Updated 11 months ago
- A dispatcher based on Hashicorp's Raft for Casbin.☆17Sep 17, 2023Updated 2 years ago
- ☆12Apr 19, 2023Updated 2 years ago
- Dynamic Indirect Syscalls via JOP/ROP in Pure no_std, no_alloc, no dependency Rust☆43Aug 6, 2025Updated 6 months ago
- Run SPEC CPU 2017 benchmark on OpenHarmony/HarmonyOS NEXT☆35Jun 18, 2025Updated 8 months ago
- ☆14Nov 14, 2023Updated 2 years ago
- RISC-V Supervisor Binary Interface (RISC-V SBI) library in Rust; runs on M or HS mode; good support for embedded Rust ecosystem. For bina…☆1,247Feb 10, 2026Updated 3 weeks ago
- Loupe: Syscall Usage Analysis Tool☆46Updated this week
- Collection of my nmap scripts (most are in official nmap release by now)☆34Oct 23, 2013Updated 12 years ago
- SyzTrust's main repository. Start here to install.☆19Feb 29, 2024Updated 2 years ago
- The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".☆41Nov 12, 2025Updated 3 months ago
- VirtIO guest drivers in Rust.☆282Jan 26, 2026Updated last month
- 🔥基于DStruct的数据结构可视化组件库&开发框架 | data-structures visual component library & development framework based on DStruct☆17Jan 10, 2024Updated 2 years ago
- ☆21May 30, 2025Updated 9 months ago
- Let's write an OS which can run on RISC-V in Rust from scratch!☆1,976Apr 25, 2025Updated 10 months ago
- Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.☆4,335Updated this week
- Advanced Programming - HW6☆20Jun 5, 2022Updated 3 years ago
- `smol` integrations with `hyper`☆17Feb 16, 2026Updated 2 weeks ago
- Unified modular arceos-hypervisor☆39Updated this week
- Code for evaluating WebRTC performance☆14Sep 18, 2017Updated 8 years ago