Alternatives and similar repositories for asterinas

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

• vivoblueos / kernel
  ☆1,265Updated this week
• cordx56 / rustowl
  Visualize Ownership and Lifetimes in Rust
  ☆4,893Updated this week
• moturus / motor-os
  A simple, fast, and secure operating system for the cloud.
  ☆1,057Updated this week
• bytedance / monoio
  Rust async runtime based on io-uring.
  ☆4,778Updated last month
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆2,143Updated this week
• theseus-os / Theseus
  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…
  ☆3,087Updated last year
• immunant / c2rust
  Migrate C code to Rust
  ☆4,587Updated this week
• maestro-os / maestro
  Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possib…
  ☆3,163Updated last week
• davidlattimore / wild
  A very fast linker for Linux
  ☆3,066Updated this week
• arceos-org / arceos
  An experimental modular OS written in Rust.
  ☆708Updated last week
• trifectatechfoundation / sudo-rs
  A memory safe implementation of sudo and su.
  ☆4,123Updated last week
• rustsbi / rustsbi
  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,225Updated last week
• SeaQL / FireDBG.for.Rust
  🔥 Time Travel Visual Debugger for Rust
  ☆1,659Updated 8 months ago
• cberner / redb
  An embedded key-value database in pure Rust
  ☆4,085Updated last month
• aya-rs / aya
  Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
  ☆4,097Updated this week
• Rust-for-Linux / linux
  Adding support for the Rust language to the Linux kernel.
  ☆4,275Updated last week
• youki-dev / youki
  A container runtime written in Rust
  ☆7,125Updated this week
• microsoft / openvmm
  Home of OpenVMM and OpenHCL
  ☆1,782Updated this week
• google / zerocopy
  Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
  ☆2,100Updated this week
• rust-lang / miri
  An interpreter for Rust's mid-level intermediate representation
  ☆5,662Updated this week
• rcore-os / zCore
  Zircon microkernel reimplemented in Rust.
  ☆1,770Updated last year
• rustls / rustls
  A modern TLS library in Rust
  ☆7,111Updated this week
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,852Updated this week
• tock / tock
  A secure embedded operating system for microcontrollers
  ☆6,101Updated this week
• o8vm / octox
  Unix-like OS in Rust inspired by xv6-riscv
  ☆1,619Updated 2 months ago
• tokio-rs / console
  a debugger for async rust!
  ☆4,328Updated 3 weeks ago
• smoltcp-rs / smoltcp
  a smol tcp/ip stack
  ☆4,279Updated last month
• salvo-rs / salvo
  A powerful web framework built with a simplified design.
  ☆3,964Updated this week
• tokio-rs / mini-redis
  Incomplete Redis client and server implementation using Tokio - for learning purposes only
  ☆4,507Updated last year
• hermit-os / kernel
  A Rust-based, lightweight unikernel.
  ☆1,382Updated this week