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,424Nov 5, 2026Updated this 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.☆843Updated this week
- Magical Deterministic Simulator for distributed systems in Rust.☆1,186Feb 16, 2026Updated 8 months ago
- Add hardship to your tests☆1,297Updated this week
- Shuttle is a library for testing concurrent Rust code☆1,113Updated this week
- A model checker for implementing distributed systems.☆1,925Jul 27, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Concurrency permutation testing tool for Rust.☆2,861Updated this week
- Library and proc macro to analyze memory usage of data structures in rust.☆220Jun 14, 2026Updated 4 months ago
- A model checker for Rust programs.☆3,651Updated this week
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,667Aug 31, 2026Updated 2 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,831Updated this week
- Zero-copy deserialization framework for Rust☆4,398Sep 25, 2026Updated last month
- mold 🦠: A Modern Linker in Rust 🦀☆17,735Oct 22, 2026Updated 2 weeks ago
- rd is a record/replay debugger written in rust☆958Jun 3, 2022Updated 4 years ago
- Command-line sampling profiler for macOS, Linux, and Windows☆4,485Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Rust async runtime based on io-uring.☆5,132Oct 16, 2026Updated 3 weeks ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆3,019Updated 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,882Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆3,077May 22, 2026Updated 5 months ago
- Record and Replay Framework☆10,735Updated this week
- Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.☆4,897Updated this week
- A memory profiler for Linux.☆4,816Jul 28, 2023Updated 3 years ago
- A very fast linker for Linux and WebAssembly☆4,107Updated this week
- tiniest x86-64-linux emulator☆7,606Dec 10, 2025Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Build system, successor to Buck☆4,518Updated this week
- Verified Rust for low-level systems code☆3,593Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,892Mar 29, 2025Updated last year
- HVM1 (2022): a massively parallel, optimal functional runtime in Rust☆11,351Sep 16, 2026Updated last month
- the champagne of beta embedded databases☆9,105Apr 4, 2026Updated 7 months ago
- An interpreter for Rust's mid-level intermediate representation☆6,721Updated this week
- a debugger for async rust!☆4,614Aug 8, 2026Updated 3 months ago
- A Scalable, User-Friendly Source Control System.☆7,245Updated this week
- Wrangling Untrusted File Formats Safely☆4,879Updated this week
- 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.
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,647Updated this week
- Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untru…☆4,789Updated this week
- Creusot helps you prove your Rust code is correct.☆1,956Updated this week
- [Chumsky has moved to Codeberg!] Write expressive, high-performance parsers with ease.☆4,534Mar 27, 2026Updated 7 months ago
- Safe Rust bindings to POSIX-ish APIs☆2,147Oct 27, 2026Updated last week
- Programmable debugger☆2,132Updated this week
- A Rust implementation of the Starlark language☆1,047Updated this week