asterinas / asterinasLinks
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
☆3,977Updated this week
Alternatives and similar repositories for asterinas
Users that are interested in asterinas are comparing it to the libraries listed below
Sorting:
- ☆1,265Updated this week
- Visualize Ownership and Lifetimes in Rust☆4,893Updated this week
- A simple, fast, and secure operating system for the cloud.☆1,057Updated this week
- Rust async runtime based on io-uring.☆4,778Updated last month
- Verified Rust for low-level systems code☆2,143Updated this week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,087Updated last year
- Migrate C code to Rust☆4,587Updated this week
- 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
- A very fast linker for Linux☆3,066Updated this week
- An experimental modular OS written in Rust.☆708Updated last week
- A memory safe implementation of sudo and su.☆4,123Updated last week
- 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
- 🔥 Time Travel Visual Debugger for Rust☆1,659Updated 8 months ago
- An embedded key-value database in pure Rust☆4,085Updated last month
- Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.☆4,097Updated this week
- Adding support for the Rust language to the Linux kernel.☆4,275Updated last week
- A container runtime written in Rust☆7,125Updated this week
- Home of OpenVMM and OpenHCL☆1,782Updated this week
- Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.☆2,100Updated this week
- An interpreter for Rust's mid-level intermediate representation☆5,662Updated this week
- Zircon microkernel reimplemented in Rust.☆1,770Updated last year
- A modern TLS library in Rust☆7,111Updated this week
- Hermit for Rust.☆1,852Updated this week
- A secure embedded operating system for microcontrollers☆6,101Updated this week
- Unix-like OS in Rust inspired by xv6-riscv☆1,619Updated 2 months ago
- a debugger for async rust!☆4,328Updated 3 weeks ago
- a smol tcp/ip stack☆4,279Updated last month
- A powerful web framework built with a simplified design.☆3,964Updated this week
- Incomplete Redis client and server implementation using Tokio - for learning purposes only☆4,507Updated last year
- A Rust-based, lightweight unikernel.☆1,382Updated this week