hermit-os / hermit-rs
Hermit for Rust.
โ1,746Updated last week
Alternatives and similar repositories for hermit-rs:
Users that are interested in hermit-rs are comparing it to the libraries listed below
- A Rust-based, lightweight unikernel.โ1,249Updated this week
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ2,975Updated 5 months ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safeโฆโ1,378Updated this week
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier โฆโ3,201Updated last month
- Safe Rust bindings to POSIX-ish APIsโ1,616Updated this week
- Rust friendly bindings to *nix APIsโ2,757Updated last month
- A small and fast async runtime for Rustโ3,873Updated this week
- Cranelift based backend for rustcโ1,713Updated last week
- Highly-available Distributed Fault-tolerant Runtimeโ2,830Updated last year
- An embeddable dynamic programming language for Rust.โ1,865Updated last week
- An experimental pure-Rust x86 bootloaderโ1,455Updated 2 weeks ago
- A static verifier for Rust, based on the Viper verification infrastructure.โ1,607Updated this week
- A developer-friendly document database that grows with you, written in Rustโ1,040Updated 7 months ago
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,634Updated this week
- A fast bump allocation arena for Rustโ1,596Updated 2 weeks ago
- Kani Rust Verifierโ2,408Updated this week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.โ2,235Updated this week
- Zero-copy deserialization framework for Rustโ3,148Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.โ1,942Updated 2 months ago
- Rust library for building and running BPF/eBPF modulesโ1,712Updated last year
- Rust Memory Safety & Undefined Behavior Detectionโ1,326Updated last year
- Concurrency permutation testing tool for Rust.โ2,274Updated last month
- Fancy extension for std::Error with pretty, detailed diagnostic printing.โ2,152Updated last week
- A free-range, non-GMO fork of busybox in 100% Rust ๐ฆโ829Updated last year
- ๐งโ๐ฌ Operating systemโ1,431Updated 2 years ago
- A list of programming languages implemented in Rust, for inspiration.โ919Updated last month
- The `io_uring` library for Rustโ1,289Updated 3 weeks ago
- Detects usage of unsafe Rust in a Rust crate and its dependencies.โ1,435Updated 7 months ago
- Cap'n Proto for Rustโ2,157Updated this week
- An io_uring backed runtime for Rustโ1,201Updated 7 months ago