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,374Apr 28, 2026Updated last week
Alternatives and similar repositories for hermit
Users that are interested in hermit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An ergonomic and safe syscall interception framework for Linux.☆825Apr 28, 2026Updated last week
- Magical Deterministic Simulator for distributed systems in Rust.☆1,084Feb 16, 2026Updated 2 months ago
- Shuttle is a library for testing concurrent Rust code☆972Updated this week
- Add hardship to your tests☆1,160May 2, 2026Updated last week
- Library and proc macro to analyze memory usage of data structures in rust.☆210Apr 8, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A model checker for implementing distributed systems.☆1,802Jul 27, 2025Updated 9 months ago
- Concurrency permutation testing tool for Rust.☆2,692Feb 20, 2026Updated 2 months ago
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,577Apr 22, 2026Updated 2 weeks ago
- Kani Rust Verifier☆3,060Apr 28, 2026Updated last week
- mold: A Modern Linker 🦠☆16,452Apr 28, 2026Updated last week
- rd is a record/replay debugger written in rust☆960Jun 3, 2022Updated 3 years ago
- Zero-copy deserialization framework for Rust☆4,184Apr 29, 2026Updated last week
- Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.☆4,519Updated this week
- A very fast linker for Linux☆3,535May 1, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Command-line sampling profiler for macOS, Linux, and Windows☆4,176Updated this week
- Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utili…☆7,241Updated this week
- A massively parallel, optimal functional runtime in Rust☆11,239Nov 21, 2024Updated last year
- A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Li…☆5,601Updated this week
- A memory profiler for Linux.☆4,781Jul 28, 2023Updated 2 years ago
- A Rust implementation of the Starlark language☆965Updated this week
- tiniest x86-64-linux emulator☆7,492Dec 10, 2025Updated 4 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,760Mar 9, 2026Updated last month
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,830Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untru…☆4,233Updated this week
- Low-level unprivileged sandboxing tool used by Flatpak and similar projects☆6,999Apr 24, 2026Updated 2 weeks ago
- A Scalable, User-Friendly Source Control System.☆6,830Updated this week
- Hermit for Rust.☆1,914Updated this week
- Safe Rust bindings to POSIX-ish APIs☆1,979Apr 18, 2026Updated 3 weeks ago
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,855Mar 29, 2025Updated last year
- An interpreter for Rust's mid-level intermediate representation☆6,080Updated this week
- Rust async runtime based on io-uring.☆4,960Apr 14, 2026Updated 3 weeks ago
- Distributed systems runtime daemon written in Rust.☆1,907Jan 21, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Wrangling Untrusted File Formats Safely☆4,745Updated this week
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆17,943May 2, 2026Updated last week
- Creusot helps you prove your Rust code is correct.☆1,568Apr 30, 2026Updated last week
- Generating structured data from arbitrary, unstructured input.☆860Mar 13, 2026Updated last month
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆11,297Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,498Updated this week
- Build system, successor to Buck☆4,329Updated this week