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,223Updated 2 weeks ago
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.☆577Updated 2 weeks ago
- allocscope - a memory tracking tool☆551Updated last year
- Add hardship to your tests☆857Updated 2 weeks ago
- intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta☆567Updated 2 weeks ago
- Command-line sampling profiler for macOS and Linux☆2,557Updated this week
- A pretty (simple) alternative to strace☆895Updated 3 months ago
- elfshaker stores binary objects efficiently☆2,300Updated 4 months ago
- A jq clone focussed on correctness, speed, and simplicity☆2,929Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,593Updated 2 months ago
- Simplified executable deployment☆582Updated this week
- Performance Optimizer Observation Platform☆1,175Updated last month
- libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and work…☆2,363Updated last month
- The fastest hashing algorithm 📈☆829Updated last month
- A Rust implementation of the Starlark language☆747Updated last week
- Hermit for Rust.☆1,710Updated this week
- Gossip-based service discovery (and more) for large distributed systems.☆783Updated this week
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆467Updated 8 months ago
- Fine-grained parallelism with sub-nanosecond overhead in Zig☆775Updated 3 months ago
- A grep-like tool which understands source code syntax and allows for manipulation in addition to search☆709Updated 2 weeks ago
- Think tmux, then aim... lower☆1,207Updated this week
- an efficient awk-like language☆1,260Updated 5 months ago
- A terminal Flamegraph viewer.☆1,048Updated last month
- Rust programs written entirely in Rust☆778Updated 2 weeks ago
- Verified Rust for low-level systems code☆1,279Updated this week
- 🐰 Bencher - Continuous Benchmarking☆607Updated this week
- Monorepo for the Hydro Project☆498Updated this week
- A time traveling resource monitor for modern Linux systems☆1,105Updated last week
- Better configuration for less☆2,470Updated this week
- Kani Rust Verifier☆2,331Updated this week
- A UI for eBPF-based performance debugging☆561Updated 2 years ago