facebookexperimental / hermitLinks
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,266Updated this 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.☆600Updated last week
- intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta☆591Updated last week
- Add hardship to your tests☆985Updated 2 weeks ago
- VMM for native-performance sandboxing☆602Updated this week
- A pretty (simple) alternative to strace☆989Updated this week
- Hermit for Rust.☆1,784Updated last week
- A tree-sitter based AST difftool to get meaningful semantic diffs☆1,759Updated this week
- A high-level distributed programming framework for Rust☆915Updated this week
- Command-line sampling profiler for macOS, Linux, and Windows☆3,067Updated this week
- A very fast linker for Linux☆2,104Updated this week
- Shuttle is a library for testing concurrent Rust code☆808Updated 2 weeks ago
- A debugger for Linux☆1,189Updated this week
- Simplified executable deployment☆702Updated this week
- allocscope - a memory tracking tool☆554Updated 2 years ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,647Updated 3 weeks ago
- A time traveling resource monitor for modern Linux systems☆1,365Updated this week
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆911Updated this week
- A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.☆1,632Updated 2 years ago
- elfshaker stores binary objects efficiently☆2,309Updated this week
- A UI for eBPF-based performance debugging☆573Updated 2 years ago
- Fine-grained parallelism with sub-nanosecond overhead in Zig☆849Updated 2 months ago
- A model checker for implementing distributed systems.☆1,649Updated 3 weeks ago
- Comparison of Rust async and Linux thread context switch time.☆728Updated 6 months ago
- Magical Deterministic Simulator for distributed systems in Rust.☆865Updated 4 months ago
- A Rust implementation of the Starlark language☆805Updated this week
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆470Updated last year
- Creusot helps you prove your code is correct in an automated fashion.☆1,273Updated this week
- A grep-like tool which understands source code syntax and allows for manipulation in addition to search☆790Updated this week
- Unsafely fast hashing algorithm 📈☆912Updated 2 weeks ago
- Verified Rust for low-level systems code☆1,886Updated this week