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,195Updated last week
Related projects ⓘ
Alternatives and complementary repositories for hermit
- An ergonomic and safe syscall interception framework for Linux.☆562Updated last week
- Add hardship to your tests☆788Updated last month
- A pretty (simple) alternative to strace☆871Updated 3 weeks ago
- Verified Rust for low-level systems code☆1,205Updated this week
- intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta☆350Updated this week
- allocscope - a memory tracking tool☆553Updated last year
- Hermit for Rust.☆1,684Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,564Updated 2 weeks ago
- Command-line sampling profiler for macOS and Linux☆2,305Updated this week
- A UI for eBPF-based performance debugging☆556Updated 2 years ago
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆462Updated 6 months ago
- Think tmux, then aim... lower☆1,167Updated this week
- A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.☆1,572Updated last year
- Better configuration for less☆2,409Updated this week
- A jq clone focussed on correctness, speed, and simplicity☆2,746Updated this week
- Fine-grained parallelism with sub-nanosecond overhead in Zig☆742Updated last month
- A tree-sitter based AST difftool to get meaningful semantic diffs☆1,633Updated this week
- Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.☆1,003Updated this week
- The Feldera Incremental Computation Engine☆720Updated this week
- A model checker for implementing distributed systems.☆1,572Updated last month
- an efficient awk-like language☆1,257Updated 2 months ago
- elfshaker stores binary objects efficiently☆2,294Updated last month
- Data interchange with algebraic data types.☆598Updated 2 months ago
- Low latency inter-thread communication library in Rust inspired by the LMAX Disruptor.☆636Updated last month
- Disassembler focused on comprehensive rust support.☆802Updated last month
- The fastest hashing algorithm 📈☆789Updated this week
- Performance Optimizer Observation Platform☆968Updated 2 months ago
- Rust port of Spice, a low-overhead parallelization library☆557Updated last month
- A tiny, interpreted WebAssembly Runtime written in Rust☆472Updated 2 weeks ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,146Updated this week