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,281Updated this week
• theseus-os / Theseus
  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…
  ☆2,999Updated 7 months ago
• viperproject / prusti-dev
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,639Updated 2 weeks ago
• oxidecomputer / hubris
  A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
  ☆3,157Updated last week
• rhaiscript / rhai
  Rhai - An embedded scripting language for Rust.
  ☆4,552Updated this week
• tokio-rs / console
  a debugger for async rust!
  ☆3,902Updated 3 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,407Updated this week
• tomaka / redshirt
  🧑‍🔬 Operating system
  ☆1,439Updated last month
• bytecodealliance / rustix
  Safe Rust bindings to POSIX-ish APIs
  ☆1,673Updated last week
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,840Updated 2 years ago
• rkyv / rkyv
  Zero-copy deserialization framework for Rust
  ☆3,236Updated last week
• model-checking / kani
  Kani Rust Verifier
  ☆2,540Updated this week
• salsa-rs / salsa
  A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
  ☆2,322Updated this week
• smol-rs / smol
  A small and fast async runtime for Rust
  ☆4,154Updated last month
• nix-rust / nix
  Rust friendly bindings to *nix APIs
  ☆2,811Updated this week
• hawkw / mycelium
  🍄 an alleged 'operating system'
  ☆618Updated 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,263Updated last week
• rust-lang / rustc_codegen_cranelift
  Cranelift based backend for rustc
  ☆1,753Updated this week
• thepowersgang / mrustc
  Alternative rust compiler (re-implementation)
  ☆2,290Updated this week
• rune-rs / rune
  An embeddable dynamic programming language for Rust.
  ☆1,901Updated this week
• rust-lang / polonius
  Defines the Rust borrow checker.
  ☆1,433Updated 10 months ago
• rust-lang / chalk
  An implementation and definition of the Rust trait system using a PROLOG-like logic solver
  ☆1,922Updated 2 weeks ago
• fereidani / kanal
  The fast sync and async channel that Rust deserves
  ☆1,522Updated last month
• willcrichton / flowistry
  Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
  ☆1,983Updated 4 months ago
• oreboot / oreboot
  oreboot is a fork of coreboot, with C removed, written in Rust.
  ☆1,669Updated 3 weeks ago
• zesterer / flume
  A safe and fast multi-producer, multi-consumer channel.
  ☆2,617Updated 2 months ago
• tokio-rs / loom
  Concurrency permutation testing tool for Rust.
  ☆2,330Updated 3 weeks ago
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆849Updated 3 weeks ago
• slawlor / ractor
  Rust actor framework
  ☆1,712Updated this week
• mun-lang / mun
  Source code for the Mun language and runtime.
  ☆1,979Updated this week