facebookexperimental / hermitView external linksLinks
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.
☆1,351Feb 6, 2026Updated last week
Alternatives and similar repositories for hermit
Users that are interested in hermit are comparing it to the libraries listed below
Sorting:
- An ergonomic and safe syscall interception framework for Linux.☆814Feb 7, 2026Updated last week
- Magical Deterministic Simulator for distributed systems in Rust.☆1,041Updated this week
- Shuttle is a library for testing concurrent Rust code☆934Feb 4, 2026Updated last week
- Add hardship to your tests☆1,116Jan 29, 2026Updated 2 weeks ago
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,503Apr 29, 2025Updated 9 months ago
- mold: A Modern Linker 🦠☆16,176Dec 12, 2025Updated 2 months ago
- A very fast linker for Linux☆3,329Updated this week
- Concurrency permutation testing tool for Rust.☆2,600Jan 12, 2026Updated last month
- Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.☆4,281Updated this week
- A model checker for implementing distributed systems.☆1,778Jul 27, 2025Updated 6 months ago
- Zero-copy deserialization framework for Rust☆4,014Updated this week
- rd is a record/replay debugger written in rust☆961Jun 3, 2022Updated 3 years ago
- Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utili…☆6,982Feb 3, 2026Updated last week
- A massively parallel, optimal functional runtime in Rust☆11,206Nov 21, 2024Updated last year
- Kani Rust Verifier☆2,903Updated this week
- Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untru…☆4,134Updated this week
- tiniest x86-64-linux emulator☆7,422Dec 10, 2025Updated 2 months ago
- Command-line sampling profiler for macOS, Linux, and Windows☆3,909Jan 27, 2026Updated 2 weeks ago
- Hermit for Rust.☆1,870Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,842Mar 29, 2025Updated 10 months ago
- Distributed systems runtime daemon written in Rust.☆1,901Jan 21, 2026Updated 3 weeks ago
- A Scalable, User-Friendly Source Control System.☆6,729Updated this week
- A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Li…☆5,267Updated this week
- An interpreter for Rust's mid-level intermediate representation☆5,901Updated this week
- Low-level unprivileged sandboxing tool used by Flatpak and similar projects☆5,758Feb 4, 2026Updated last week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,738Feb 2, 2026Updated last week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,759Feb 7, 2026Updated last week
- A memory profiler for Linux.☆4,757Jul 28, 2023Updated 2 years ago
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆17,564Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,414Feb 5, 2026Updated last week
- build-once run-anywhere c library☆20,537Jan 25, 2026Updated 2 weeks ago
- Safe Rust bindings to POSIX-ish APIs☆1,908Dec 23, 2025Updated last month
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆10,880Updated this week
- Rust async runtime based on io-uring.☆4,865Nov 13, 2025Updated 3 months ago
- Disassembler focused on comprehensive rust support.☆826Jan 14, 2026Updated 3 weeks ago
- A Rust implementation of the Starlark language☆929Feb 7, 2026Updated last week
- Verified Rust for low-level systems code☆2,291Updated this week
- a structural diff that understands syntax 🟥🟩☆24,101Feb 2, 2026Updated last week
- a debugger for async rust!☆4,403Feb 3, 2026Updated last week