Alternatives and similar repositories for hermit-rs:

Users that are interested in hermit-rs are comparing it to the libraries listed below

• hermit-os / kernel
  A Rust-based, lightweight unikernel.
  ☆1,255Updated this week
• theseus-os / Theseus
  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…
  ☆2,978Updated 6 months ago
• viperproject / prusti-dev
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,615Updated this week
• bytecodealliance / rustix
  Safe Rust bindings to POSIX-ish APIs
  ☆1,629Updated this week
• rust-osdev / uefi-rs
  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
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆841Updated 2 months ago
• DataDog / glommio
  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
• slawlor / ractor
  Rust actor framework
  ☆1,662Updated last week
• tomaka / redshirt
  🧑‍🔬 Operating system
  ☆1,433Updated this week
• willcrichton / flowistry
  Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
  ☆1,942Updated 3 months ago
• model-checking / kani
  Kani Rust Verifier
  ☆2,425Updated this week
• zesterer / flume
  A safe and fast multi-producer, multi-consumer channel.
  ☆2,561Updated 2 weeks ago
• cberner / redb
  An embedded key-value database in pure Rust
  ☆3,580Updated last week
• salsa-rs / salsa
  A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
  ☆2,264Updated this week
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,832Updated last year
• tokio-rs / loom
  Concurrency permutation testing tool for Rust.
  ☆2,277Updated last month
• rhaiscript / rhai
  Rhai - An embedded scripting language for Rust.
  ☆4,461Updated this week
• tokio-rs / tokio-uring
  An io_uring backed runtime for Rust
  ☆1,204Updated 7 months ago
• sunfishcode / eyra
  Rust programs written entirely in Rust
  ☆814Updated 2 weeks ago
• Andy-Python-Programmer / aero
  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
• smol-rs / smol
  A small and fast async runtime for Rust
  ☆3,999Updated last week
• rkyv / rkyv
  Zero-copy deserialization framework for Rust
  ☆3,164Updated 2 weeks ago
• khonsulabs / bonsaidb
  A developer-friendly document database that grows with you, written in Rust
  ☆1,040Updated 7 months ago
• tokio-rs / io-uring
  The `io_uring` library for Rust
  ☆1,294Updated last month
• oxidecomputer / hubris
  A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
  ☆3,129Updated this week
• google / zerocopy
  Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
  ☆1,830Updated this week
• LeonHartley / Coerce-rs
  Actor runtime and distributed systems framework for Rust
  ☆718Updated 10 months ago
• jonhoo / inferno
  A Rust port of FlameGraph
  ☆1,789Updated 2 months ago
• rust-lang / rustc_codegen_cranelift
  Cranelift based backend for rustc
  ☆1,716Updated this week
• bytecodealliance / cap-std
  Capability-oriented version of the Rust standard library
  ☆677Updated last month