hermit-os / hermit-rsLinks
Hermit for Rust.
โ1,810Updated last week
Alternatives and similar repositories for hermit-rs
Users that are interested in hermit-rs are comparing it to the libraries listed below
Sorting:
- A Rust-based, lightweight unikernel.โ1,320Updated this week
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ3,041Updated 11 months ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.โ3,249Updated this week
- Safe Rust bindings to POSIX-ish APIsโ1,752Updated 2 weeks ago
- A simple, fast, and secure operating system for the cloud.โ943Updated this week
- A new operating system kernel with Linux binary compatibility written in Rust.โ3,411Updated 9 months ago
- Kani Rust Verifierโ2,632Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.โ1,666Updated last week
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,706Updated 3 months ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safeโฆโ1,472Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features suchโฆโ1,233Updated 4 months ago
- An experimental pure-Rust x86 bootloaderโ1,542Updated last week
- A precise specification for "Rust lite / MIR plus"โ919Updated last month
- Rust Memory Safety & Undefined Behavior Detectionโ1,346Updated last year
- Rust library for building and running BPF/eBPF modulesโ1,721Updated 2 years ago
- ๐งโ๐ฌ Operating systemโ1,443Updated last week
- ๐ an alleged 'operating system'โ656Updated this week
- Source code of Ferrocene, safety-critical Rust toolchainโ1,454Updated this week
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier โฆโ3,359Updated 3 months ago
- The `io_uring` library for Rustโ1,451Updated this week
- expose REST APIs from a Rust programโ1,095Updated this week
- Concurrency permutation testing tool for Rust.โ2,441Updated last week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.โ2,012Updated 8 months ago
- Cranelift based backend for rustcโ1,851Updated last week
- Rust programs written entirely in Rustโ850Updated 3 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.โ2,510Updated this week
- Library to program x86_64 hardware.โ878Updated last week
- Highly-available Distributed Fault-tolerant Runtimeโ2,868Updated 2 years ago
- Capability-oriented version of the Rust standard libraryโ703Updated 4 months ago
- An embeddable dynamic programming language for Rust.โ2,014Updated this week