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,317Updated this week
• bytecodealliance / rustix
  Safe Rust bindings to POSIX-ish APIs
  ☆1,739Updated 2 weeks ago
• viperproject / prusti-dev
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,664Updated last week
• theseus-os / Theseus
  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…
  ☆3,038Updated 10 months ago
• moturus / motor-os
  A simple, fast, and secure operating system for the cloud.
  ☆941Updated this week
• oxidecomputer / hubris
  A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
  ☆3,219Updated this week
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆914Updated last week
• Ruddle / Fomos
  Experimental OS, built with rust
  ☆966Updated last year
• 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,455Updated last week
• model-checking / kani
  Kani Rust Verifier
  ☆2,620Updated this week
• rust-lang / rustc_codegen_cranelift
  Cranelift based backend for rustc
  ☆1,846Updated this week
• 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,235Updated 3 months ago
• nuta / kerla
  A new operating system kernel with Linux binary compatibility written in Rust.
  ☆3,409Updated 8 months ago
• tokio-rs / loom
  Concurrency permutation testing tool for Rust.
  ☆2,424Updated 3 months ago
• salsa-rs / salsa
  A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
  ☆2,491Updated this week
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆1,969Updated this week
• tomaka / redshirt
  🧑‍🔬 Operating system
  ☆1,444Updated this week
• sunfishcode / eyra
  Rust programs written entirely in Rust
  ☆846Updated 3 months ago
• rust-osdev / bootloader
  An experimental pure-Rust x86 bootloader
  ☆1,525Updated last month
• sslab-gatech / Rudra
  Rust Memory Safety & Undefined Behavior Detection
  ☆1,347Updated last year
• oxidecomputer / dropshot
  expose REST APIs from a Rust program
  ☆1,079Updated this week
• ferrocene / ferrocene
  Source code of Ferrocene, safety-critical Rust toolchain
  ☆1,440Updated this week
• bytecodealliance / cap-std
  Capability-oriented version of the Rust standard library
  ☆700Updated 3 months ago
• rune-rs / rune
  An embeddable dynamic programming language for Rust.
  ☆1,997Updated last week
• oreboot / oreboot
  oreboot is a fork of coreboot, with C removed, written in Rust.
  ☆1,705Updated 2 months ago
• hawkw / mycelium
  🍄 an alleged 'operating system'
  ☆650Updated last week
• rkyv / rkyv
  Zero-copy deserialization framework for Rust
  ☆3,458Updated this week
• geiger-rs / cargo-geiger
  Detects usage of unsafe Rust in a Rust crate and its dependencies.
  ☆1,504Updated last week
• slawlor / ractor
  Rust actor framework
  ☆1,783Updated last week
• willcrichton / flowistry
  Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
  ☆2,005Updated 7 months ago