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,362Updated this week
• theseus-os / Theseus
  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…
  ☆3,060Updated last year
• oxidecomputer / hubris
  A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
  ☆3,304Updated this week
• bytecodealliance / rustix
  Safe Rust bindings to POSIX-ish APIs
  ☆1,801Updated last week
• viperproject / prusti-dev
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,698Updated last week
• nuta / kerla
  A new operating system kernel with Linux binary compatibility written in Rust.
  ☆3,449Updated last year
• moturus / motor-os
  A simple, fast, and secure operating system for the cloud.
  ☆1,019Updated 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,516Updated this week
• rust-osdev / bootloader
  An experimental pure-Rust x86 bootloader
  ☆1,583Updated 2 months 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,246Updated 7 months ago
• oreboot / oreboot
  oreboot is a fork of coreboot, with C removed, written in Rust.
  ☆1,732Updated last month
• model-checking / kani
  Kani Rust Verifier
  ☆2,738Updated this week
• ferrocene / ferrocene
  Source code of Ferrocene, safety-critical Rust toolchain
  ☆1,491Updated this week
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆941Updated 2 weeks ago
• rust-osdev / bootimage
  Tool to create bootable disk images from a Rust OS kernel.
  ☆852Updated 2 months ago
• tokio-rs / loom
  Concurrency permutation testing tool for Rust.
  ☆2,511Updated 2 months ago
• nix-rust / nix
  Rust friendly bindings to *nix APIs
  ☆2,924Updated last week
• rust-osdev / x86_64
  Library to program x86_64 hardware.
  ☆892Updated 2 months ago
• foniod / redbpf
  Rust library for building and running BPF/eBPF modules
  ☆1,716Updated 2 years ago
• flosse / rust-os-comparison
  A comparison of operating systems written in Rust
  ☆815Updated 3 weeks ago
• tokio-rs / io-uring
  The `io_uring` library for Rust
  ☆1,523Updated 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,414Updated 6 months ago
• sslab-gatech / Rudra
  Rust Memory Safety & Undefined Behavior Detection
  ☆1,357Updated last year
• samuela / rustybox
  A free-range, non-GMO fork of busybox in 100% Rust 🦀
  ☆848Updated 2 years ago
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,878Updated 2 years ago
• hawkw / mycelium
  🍄 an alleged 'operating system'
  ☆690Updated this week
• tomaka / redshirt
  🧑‍🔬 Operating system
  ☆1,444Updated 2 weeks ago
• tokio-rs / console
  a debugger for async rust!
  ☆4,280Updated last week
• rust-lang / rustc_codegen_cranelift
  Cranelift based backend for rustc
  ☆1,906Updated this week
• Ruddle / Fomos
  Experimental OS, built with rust
  ☆964Updated 2 years ago