Alternatives and similar repositories for mgnp

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

• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆41Updated last year
• kevin-lesenechal / nucloid
  Simple monolithic kernel written in Rust for x86-64
  ☆24Updated 8 months ago
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆70Updated last month
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated last week
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆34Updated 2 years ago
• komora-io / inline-array
  ☆12Updated 2 months ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆13Updated 4 years ago
• sphw / k5
  A small experimental microkernel for embedded systems
  ☆23Updated 3 years ago
• yoshuawuyts / cargo-task-wasm
  A sandboxed local task runner for Rust
  ☆21Updated last year
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆40Updated 2 months ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆39Updated 5 months ago
• graydon / backtrace-error
  wrap errors with automatic backtrace capture and print-on-result-unwrap
  ☆33Updated last year
• willcrichton / indexical
  Human-friendly indexed collections
  ☆56Updated 3 weeks ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆53Updated 4 months ago
• azaleacolburn / sonder
  Static Pointer Analyzer and Transpiler from C to Safe Rust
  ☆24Updated 5 months ago
• sunshowers-code / debug-ignore
  A newtype wrapper that causes Debug impls to skip a field.
  ☆21Updated 2 years ago
• spacekookie / learning-rust
  A collection of CC-BY-SA course material to teach the Rust programming language, in different formats, levels, and focus points. Contact …
  ☆18Updated 2 years ago
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆88Updated 2 years ago
• cfallin / waffle
  ☆58Updated 4 months ago
• matklad / paxosnotes
  ☆23Updated 3 years ago
• dtolnay / serde-starlark
  Serde serializer for generating Starlark build targets
  ☆69Updated last month
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆31Updated 3 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆47Updated this week
• komora-io / stack-map
  constant-size associative container backed by a simple array
  ☆20Updated 2 years ago
• sunfishcode / ambient-authority
  Ambient Authority
  ☆21Updated 2 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆123Updated this week
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆37Updated 2 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆83Updated 2 years ago
• komora-io / fault-injection
  trigger io::Error's in test, and annotate their source
  ☆31Updated 2 years ago
• komora-io / ebr
  high-efficiency concurrent reclamation
  ☆37Updated last year