hermit-os / hermit-rsView external linksLinks
Hermit for Rust.
☆1,870Updated this week
Alternatives and similar repositories for hermit-rs
Users that are interested in hermit-rs are comparing it to the libraries listed below
Sorting:
- A Rust-based, lightweight unikernel.☆1,401Updated this week
- A specialized hypervisor for Hermit.☆278Updated this week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,115Sep 22, 2024Updated last year
- A container runtime written in Rust☆7,232Updated this week
- A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.☆3,437Jan 21, 2026Updated 3 weeks ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,414Feb 5, 2026Updated last week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,842Mar 29, 2025Updated 10 months ago
- a smol tcp/ip stack☆4,352Feb 3, 2026Updated last week
- The Hermit bootloader.☆83Feb 6, 2026Updated last week
- A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Li…☆5,267Updated this week
- An interpreter for Rust's mid-level intermediate representation☆5,901Updated this week
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,503Apr 29, 2025Updated 9 months ago
- 🧑🔬 Operating system☆1,447Dec 15, 2025Updated last month
- A kernel designed to run one and only one application in a virtualized environment☆3,063Feb 1, 2026Updated last week
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆17,564Updated this week
- A secure embedded operating system for microcontrollers☆6,213Updated this week
- the champagne of beta embedded databases☆8,919Nov 4, 2025Updated 3 months ago
- Safe Rust bindings to POSIX-ish APIs☆1,908Dec 23, 2025Updated last month
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆10,880Updated this week
- Zero-copy deserialization framework for Rust☆4,014Updated this week
- Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.☆4,281Updated this week
- Library to program x86_64 hardware.☆910Jan 16, 2026Updated 3 weeks ago
- An experimental pure-Rust x86 bootloader☆1,618Feb 3, 2026Updated last week
- A small and fast async runtime for Rust☆4,753Jan 20, 2026Updated 3 weeks ago
- A modern TLS library in Rust☆7,237Updated this week
- A fast bump allocation arena for Rust☆2,096Jan 12, 2026Updated last month
- Tools for concurrent programming in Rust☆8,293Jan 23, 2026Updated 3 weeks ago
- Concurrency permutation testing tool for Rust.☆2,600Jan 12, 2026Updated last month
- MOROS: Obscure Rust Operating System 🦉☆1,050Updated this week
- Async-friendly QUIC implementation in Rust☆4,879Updated this week
- An application template for Hermit for Rust.☆40Jan 22, 2026Updated 3 weeks ago
- Kani Rust Verifier☆2,903Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,738Feb 2, 2026Updated last week
- A binary encoder / decoder implementation in Rust.☆3,077Aug 15, 2025Updated 5 months ago
- Safe interop between Rust and C++☆6,656Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,752Nov 21, 2025Updated 2 months ago
- a debugger for async rust!☆4,403Feb 3, 2026Updated last week
- Rust parser combinator framework☆10,293Aug 26, 2025Updated 5 months ago
- A unified interface for reading and writing object file formats☆807Feb 7, 2026Updated last week