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,228Updated this week
• theseus-os / Theseus
  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…
  ☆2,954Updated 4 months ago
• viperproject / prusti-dev
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,605Updated 3 months ago
• khonsulabs / bonsaidb
  A developer-friendly document database that grows with you, written in Rust
  ☆1,038Updated 6 months ago
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆837Updated last month
• willcrichton / flowistry
  Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
  ☆1,939Updated last month
• sslab-gatech / Rudra
  Rust Memory Safety & Undefined Behavior Detection
  ☆1,323Updated 11 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,181Updated last week
• bytecodealliance / rustix
  Safe Rust bindings to POSIX-ish APIs
  ☆1,575Updated this week
• rkyv / rkyv
  Zero-copy deserialization framework for Rust
  ☆3,104Updated 3 weeks ago
• tokio-rs / console
  a debugger for async rust!
  ☆3,771Updated 3 weeks ago
• oxidecomputer / dropshot
  expose REST APIs from a Rust program
  ☆921Updated this week
• tokio-rs / loom
  Concurrency permutation testing tool for Rust.
  ☆2,253Updated this week
• salsa-rs / salsa
  A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
  ☆2,197Updated this week
• tokio-rs / io-uring
  The `io_uring` library for Rust
  ☆1,269Updated 3 weeks ago
• smol-rs / smol
  A small and fast async runtime for Rust
  ☆3,846Updated 3 weeks ago
• nix-rust / nix
  Rust friendly bindings to *nix APIs
  ☆2,741Updated this week
• samuela / rustybox
  A free-range, non-GMO fork of busybox in 100% Rust 🦀
  ☆829Updated last year
• tnballo / high-assurance-rust
  A free book about developing secure and robust systems software.
  ☆1,334Updated 10 months ago
• model-checking / kani
  Kani Rust Verifier
  ☆2,378Updated this week
• zesterer / flume
  A safe and fast multi-producer, multi-consumer channel.
  ☆2,523Updated 3 months ago
• rust-lang / rustc_codegen_cranelift
  Cranelift based backend for rustc
  ☆1,699Updated this week
• geiger-rs / cargo-geiger
  Detects usage of unsafe Rust in a Rust crate and its dependencies.
  ☆1,432Updated 6 months ago
• immunant / c2rust
  Migrate C code to Rust
  ☆4,118Updated 2 weeks ago
• flosse / rust-os-comparison
  A comparison of operating systems written in Rust
  ☆731Updated 4 months ago
• tomaka / redshirt
  🧑‍🔬 Operating system
  ☆1,427Updated last year
• 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,189Updated 5 months ago
• nextest-rs / nextest
  A next-generation test runner for Rust.
  ☆2,331Updated this week
• hawkw / mycelium
  🍄 an alleged 'operating system'
  ☆581Updated last week
• sunfishcode / eyra
  Rust programs written entirely in Rust
  ☆785Updated last month