facebookexperimental / hermit
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,243Updated this week
Alternatives and similar repositories for hermit:
Users that are interested in hermit are comparing it to the libraries listed below
- An ergonomic and safe syscall interception framework for Linux.☆585Updated this week
- allocscope - a memory tracking tool☆553Updated 2 years ago
- A very fast linker for Linux☆1,916Updated this week
- Add hardship to your tests☆915Updated this week
- intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta☆574Updated last week
- A high-level distributed programming framework for Rust☆867Updated this week
- Hermit for Rust.☆1,747Updated this week
- Command-line sampling profiler for macOS, Linux, and Windows☆2,747Updated this week
- A model checker for implementing distributed systems.☆1,618Updated 5 months ago
- A UI for eBPF-based performance debugging☆563Updated 2 years ago
- Comparison of Rust async and Linux thread context switch time.☆721Updated 4 months ago
- A simple, fast, and secure operating system for the cloud.☆918Updated last week
- Low latency inter-thread communication library in Rust inspired by the LMAX Disruptor.☆684Updated last week
- The fastest hashing algorithm 📈☆878Updated last week
- A pretty (simple) alternative to strace☆958Updated last month
- Distributed, MVCC SQLite that runs on FoundationDB.☆1,462Updated 2 weeks ago
- A Rust implementation of the Starlark language☆771Updated 2 weeks ago
- Magical Deterministic Simulator for distributed systems in Rust.☆768Updated 2 months ago
- Fine-grained parallelism with sub-nanosecond overhead in Zig☆808Updated 2 weeks ago
- Shuttle is a library for testing concurrent Rust code☆747Updated this week
- Verified Rust for low-level systems code☆1,430Updated this week
- Disassembler focused on comprehensive rust support.☆810Updated 6 months ago
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆823Updated this week
- A tree-sitter based AST difftool to get meaningful semantic diffs☆1,720Updated this week
- Simplified executable deployment☆678Updated this week
- A time traveling resource monitor for modern Linux systems☆1,325Updated this week
- Performance Optimizer Observation Platform☆1,240Updated 3 months ago
- elfshaker stores binary objects efficiently☆2,302Updated 6 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,615Updated this week