hermit-os / hermit-rs
Hermit for Rust.
โ1,747Updated this week
Alternatives and similar repositories for hermit-rs:
Users that are interested in hermit-rs are comparing it to the libraries listed below
- A Rust-based, lightweight unikernel.โ1,255Updated this week
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ2,978Updated 6 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.โ1,615Updated this week
- Safe Rust bindings to POSIX-ish APIsโ1,629Updated this week
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safeโฆโ1,383Updated this week
- A precise specification for "Rust lite / MIR plus"โ841Updated 2 months ago
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier โฆโ3,209Updated last month
- Rust actor frameworkโ1,662Updated last week
- ๐งโ๐ฌ Operating systemโ1,433Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.โ1,942Updated 3 months ago
- Kani Rust Verifierโ2,425Updated this week
- A safe and fast multi-producer, multi-consumer channel.โ2,561Updated 2 weeks ago
- An embedded key-value database in pure Rustโ3,580Updated last week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.โ2,264Updated this week
- Highly-available Distributed Fault-tolerant Runtimeโ2,832Updated last year
- Concurrency permutation testing tool for Rust.โ2,277Updated last month
- Rhai - An embedded scripting language for Rust.โ4,461Updated this week
- An io_uring backed runtime for Rustโ1,204Updated 7 months ago
- Rust programs written entirely in Rustโ814Updated 2 weeks ago
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features suchโฆโ1,201Updated 6 months ago
- A small and fast async runtime for Rustโ3,999Updated last week
- Zero-copy deserialization framework for Rustโ3,164Updated 2 weeks ago
- A developer-friendly document database that grows with you, written in Rustโ1,040Updated 7 months ago
- The `io_uring` library for Rustโ1,294Updated last month
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.โ3,129Updated this week
- Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you donโt have to.โ1,830Updated this week
- Actor runtime and distributed systems framework for Rustโ718Updated 10 months ago
- A Rust port of FlameGraphโ1,789Updated 2 months ago
- Cranelift based backend for rustcโ1,716Updated this week
- Capability-oriented version of the Rust standard libraryโ677Updated last month