hermit-os / hermit-rsLinks
Hermit for Rust.
โ1,829Updated this 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,349Updated last week
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ3,055Updated last year
- A static verifier for Rust, based on the Viper verification infrastructure.โ1,685Updated 2 weeks ago
- Safe Rust bindings to POSIX-ish APIsโ1,791Updated last month
- A new operating system kernel with Linux binary compatibility written in Rust.โ3,449Updated 11 months ago
- A simple, fast, and secure operating system for the cloud.โ945Updated this week
- A precise specification for "Rust lite / MIR plus"โ937Updated last month
- Library to program x86_64 hardware.โ887Updated last month
- An experimental pure-Rust x86 bootloaderโ1,570Updated last month
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,726Updated last week
- Kani Rust Verifierโ2,701Updated this week
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safeโฆโ1,502Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features suchโฆโ1,242Updated 6 months ago
- Capability-oriented version of the Rust standard libraryโ715Updated 6 months ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.โ3,284Updated this week
- ๐ an alleged 'operating system'โ680Updated last week
- Rust Memory Safety & Undefined Behavior Detectionโ1,356Updated last year
- Cranelift based backend for rustcโ1,888Updated last week
- Filesystem in Userspace (FUSE) for Rustโ1,030Updated this week
- A comparison of operating systems written in Rustโ813Updated last month
- ๐งโ๐ฌ Operating systemโ1,444Updated last week
- Experimental OS, built with rustโ963Updated 2 years ago
- An embeddable dynamic programming language for Rust.โ2,074Updated last week
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier โฆโ3,398Updated 5 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.โ2,570Updated this week
- Rust programs written entirely in Rustโ856Updated 5 months ago
- The `io_uring` library for Rustโ1,505Updated this week
- Rust friendly bindings to *nix APIsโ2,911Updated last week
- Source code of Ferrocene, safety-critical Rust toolchainโ1,475Updated this week
- Rust actor frameworkโ1,840Updated this week