hermit-os / hermit-rsLinks
Hermit for Rust.
โ1,795Updated 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,305Updated this week
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ3,025Updated 8 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.โ1,646Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.โ3,185Updated this week
- Kani Rust Verifierโ2,580Updated this week
- A precise specification for "Rust lite / MIR plus"โ874Updated last week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.โ1,996Updated 6 months ago
- Safe Rust bindings to POSIX-ish APIsโ1,706Updated 3 weeks ago
- Rust Memory Safety & Undefined Behavior Detectionโ1,341Updated last year
- Zero-copy deserialization framework for Rustโ3,398Updated this week
- Cranelift based backend for rustcโ1,804Updated this week
- a debugger for async rust!โ3,964Updated last month
- ๐งโ๐ฌ Operating systemโ1,443Updated 3 weeks ago
- Highly-available Distributed Fault-tolerant Runtimeโ2,849Updated 2 years ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safeโฆโ1,428Updated this week
- An embeddable dynamic programming language for Rust.โ1,963Updated last week
- Concurrency permutation testing tool for Rust.โ2,386Updated 2 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.โ2,445Updated this week
- A comparison of operating systems written in Rustโ775Updated last month
- A developer-friendly document database that grows with you, written in Rustโ1,043Updated 10 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solverโ1,940Updated 3 weeks ago
- An experimental pure-Rust x86 bootloaderโ1,498Updated 2 weeks ago
- Rust friendly bindings to *nix APIsโ2,838Updated last month
- An interpreter for Rust's mid-level intermediate representationโ5,206Updated this week
- Runtime for executing procedural macros as WebAssemblyโ1,389Updated last month
- A simple, fast, and secure operating system for the cloud.โ931Updated last week
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier โฆโ3,314Updated last month
- ๐ an alleged 'operating system'โ638Updated 2 weeks ago
- The fast sync and async channel that Rust deservesโ1,559Updated last month
- Detects usage of unsafe Rust in a Rust crate and its dependencies.โ1,491Updated this week