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.
  ☆609Updated last week
• matt-kimball / allocscope
  allocscope - a memory tracking tool
  ☆556Updated 2 years ago
• tokio-rs / turmoil
  Add hardship to your tests
  ☆996Updated last month
• sectordistrict / intentrace
  intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta
  ☆592Updated this week
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆1,918Updated this week
• davidlattimore / wild
  A very fast linker for Linux
  ☆2,212Updated this week
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,664Updated last month
• hydro-project / hydro
  A high-level distributed programming framework for Rust
  ☆926Updated this week
• viperproject / prusti-dev
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,650Updated this week
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,796Updated this week
• JakWai01 / lurk
  A pretty (simple) alternative to strace
  ☆996Updated this week
• varnish / tinykvm
  VMM for native-performance sandboxing
  ☆604Updated last week
• ogxd / gxhash
  Unsafely fast hashing algorithm 📈
  ☆927Updated last month
• mstange / samply
  Command-line sampling profiler for macOS, Linux, and Windows
  ☆3,150Updated this week
• al13n321 / nnd
  A debugger for Linux
  ☆1,233Updated 2 weeks ago
• formal-land / coq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
  ☆922Updated this week
• facebook / dotslash
  Simplified executable deployment
  ☆707Updated last week
• rubrikinc / wachy
  A UI for eBPF-based performance debugging
  ☆575Updated 2 years ago
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆471Updated last year
• awslabs / shuttle
  Shuttle is a library for testing concurrent Rust code
  ☆815Updated this week
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆621Updated last month
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆650Updated last week
• cessen / ropey
  A utf8 text rope for manipulating and editing large texts.
  ☆1,481Updated this week
• crev-dev / crev
  Socially scalable Code REView and recommendation system that we desperately need. See http://github.com/crev-dev/cargo-crev for real impl…
  ☆411Updated 3 years ago
• elfshaker / elfshaker
  elfshaker stores binary objects efficiently
  ☆2,310Updated last week
• facebook / starlark-rust
  A Rust implementation of the Starlark language
  ☆811Updated this week
• shell-pool / shpool
  Think tmux, then aim... lower
  ☆1,319Updated this week
• salsa-rs / salsa
  A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
  ☆2,445Updated this week
• judofyr / spice
  Fine-grained parallelism with sub-nanosecond overhead in Zig
  ☆850Updated 3 months ago
• dragostis / chili
  Rust port of Spice, a low-overhead parallelization library
  ☆646Updated last month