hermit-os / hermit-rsLinks
Hermit for Rust.
โ1,825Updated 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,340Updated this week
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ3,052Updated last year
- Safe Rust bindings to POSIX-ish APIsโ1,775Updated 3 weeks ago
- A new operating system kernel with Linux binary compatibility written in Rust.โ3,445Updated 10 months ago
- A simple, fast, and secure operating system for the cloud.โ944Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.โ1,678Updated last week
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safeโฆโ1,490Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.โ3,269Updated this week
- Library to program x86_64 hardware.โ882Updated last month
- Kani Rust Verifierโ2,678Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features suchโฆโ1,240Updated 5 months ago
- Rust Memory Safety & Undefined Behavior Detectionโ1,353Updated last year
- ๐งโ๐ฌ Operating systemโ1,444Updated this week
- An experimental pure-Rust x86 bootloaderโ1,567Updated 3 weeks ago
- A precise specification for "Rust lite / MIR plus"โ932Updated 2 weeks ago
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,716Updated 2 weeks ago
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier โฆโ3,385Updated 5 months ago
- Rust programs written entirely in Rustโ856Updated 5 months ago
- Rust actor frameworkโ1,828Updated 3 weeks ago
- Concurrency permutation testing tool for Rust.โ2,461Updated last month
- ๐ an alleged 'operating system'โ675Updated this week
- expose REST APIs from a Rust programโ1,106Updated this week
- A developer-friendly document database that grows with you, written in Rustโ1,048Updated last year
- The fast sync and async channel that Rust deservesโ1,622Updated 4 months ago
- Source code of Ferrocene, safety-critical Rust toolchainโ1,469Updated this week
- Zero-copy deserialization framework for Rustโ3,537Updated last week
- Cranelift based backend for rustcโ1,879Updated last week
- Highly-available Distributed Fault-tolerant Runtimeโ2,874Updated 2 years ago
- Experimental OS, built with rustโ965Updated 2 years ago
- An io_uring backed runtime for Rustโ1,329Updated 2 months ago