Alternatives and similar repositories for hermit

Users that are interested in hermit are comparing it to the libraries listed below

• facebookexperimental / reverie
  An ergonomic and safe syscall interception framework for Linux.
  ☆800Updated last week
• sectordistrict / intentrace
  intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta
  ☆647Updated 6 months ago
• matt-kimball / allocscope
  allocscope - a memory tracking tool
  ☆561Updated 2 years ago
• tokio-rs / turmoil
  Add hardship to your tests
  ☆1,091Updated this week
• varnish / tinykvm
  VMM for native-performance sandboxing
  ☆785Updated last month
• rubrikinc / wachy
  A UI for eBPF-based performance debugging
  ☆580Updated 3 years ago
• JakWai01 / lurk
  A pretty (simple) alternative to strace
  ☆1,072Updated 3 months ago
• hydro-project / hydro
  A Rust framework for correct and performant distributed systems
  ☆1,115Updated this week
• awslabs / shuttle
  Shuttle is a library for testing concurrent Rust code
  ☆892Updated 2 weeks ago
• facebook / dotslash
  Simplified executable deployment
  ☆785Updated this week
• facebook / starlark-rust
  A Rust implementation of the Starlark language
  ☆895Updated last week
• viperproject / prusti-dev
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,715Updated last month
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,851Updated last week
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,741Updated 4 months ago
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆755Updated last week
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆2,156Updated this week
• Voultapher / sort-research-rs
  Test and benchmark suite for sort implementations.
  ☆510Updated 3 months ago
• madsim-rs / madsim
  Magical Deterministic Simulator for distributed systems in Rust.
  ☆1,012Updated 2 weeks ago
• mitsuhiko / self-replace
  Utility library that helps to implement processes that replace themselves
  ☆797Updated 5 months ago
• afnanenayet / diffsitter
  A tree-sitter based AST difftool to get meaningful semantic diffs
  ☆2,279Updated this week
• ogxd / gxhash
  Unsafely fast hashing algorithm 📈
  ☆979Updated 7 months ago
• cel-rust / cel-rust
  Common Expression Language interpreter written in Rust
  ☆545Updated this week
• cloudflare / trie-hard
  Novel implementation of a Trie data structure optimized for small, sparse maps
  ☆578Updated last week
• elfshaker / elfshaker
  elfshaker stores binary objects efficiently
  ☆2,320Updated 3 months ago
• bencherdev / bencher
  🐰 Bencher - Continuous Benchmarking
  ☆777Updated this week
• orlp / glidesort
  A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.
  ☆1,641Updated 2 years ago
• dragostis / chili
  Rust port of Spice, a low-overhead parallelization library
  ☆695Updated 7 months ago
• laixintao / flameshow
  A terminal Flamegraph viewer.
  ☆1,112Updated 6 months ago
• formal-land / rocq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
  ☆1,021Updated this week
• al13n321 / nnd
  A debugger for Linux
  ☆1,472Updated 3 weeks ago