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,296Updated this week
• theseus-os / Theseus
  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…
  ☆3,016Updated 8 months ago
• slawlor / ractor
  Rust actor framework
  ☆1,733Updated 2 weeks ago
• tokio-rs / console
  a debugger for async rust!
  ☆3,939Updated 2 weeks ago
• tokio-rs / loom
  Concurrency permutation testing tool for Rust.
  ☆2,352Updated last month
• sslab-gatech / Rudra
  Rust Memory Safety & Undefined Behavior Detection
  ☆1,340Updated last year
• bytecodealliance / rustix
  Safe Rust bindings to POSIX-ish APIs
  ☆1,693Updated last week
• DataDog / glommio
  Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …
  ☆3,288Updated last month
• rkyv / rkyv
  Zero-copy deserialization framework for Rust
  ☆3,269Updated last month
• rust-lang / miri
  An interpreter for Rust's mid-level intermediate representation
  ☆5,154Updated this week
• smol-rs / smol
  A small and fast async runtime for Rust
  ☆4,198Updated this week
• oxidecomputer / hubris
  A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
  ☆3,172Updated last week
• nix-rust / nix
  Rust friendly bindings to *nix APIs
  ☆2,825Updated 3 weeks ago
• rune-rs / rune
  An embeddable dynamic programming language for Rust.
  ☆1,947Updated this week
• model-checking / kani
  Kani Rust Verifier
  ☆2,557Updated this week
• viperproject / prusti-dev
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,646Updated 2 weeks ago
• 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,424Updated this week
• rust-lang / rustc_codegen_cranelift
  Cranelift based backend for rustc
  ☆1,773Updated this week
• immunant / c2rust
  Migrate C code to Rust
  ☆4,277Updated last week
• zesterer / flume
  A safe and fast multi-producer, multi-consumer channel.
  ☆2,631Updated 2 months ago
• rhaiscript / rhai
  Rhai - An embedded scripting language for Rust.
  ☆4,608Updated this week
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,844Updated 2 years ago
• ferrocene / ferrocene
  Source code of Ferrocene, safety-critical Rust toolchain
  ☆1,420Updated this week
• capnproto / capnproto-rust
  Cap'n Proto for Rust
  ☆2,208Updated this week
• tokio-rs / io-uring
  The `io_uring` library for Rust
  ☆1,377Updated this week
• notify-rs / notify
  🔭 Cross-platform filesystem notification library for Rust.
  ☆2,954Updated 3 weeks ago
• mozilla / cbindgen
  A project for generating C bindings from Rust code
  ☆2,628Updated last week
• salsa-rs / salsa
  A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
  ☆2,391Updated this week
• cberner / redb
  An embedded key-value database in pure Rust
  ☆3,695Updated this week
• dtolnay / syn
  Parser for Rust source code
  ☆3,083Updated 2 weeks ago