Alternatives and similar repositories for mgnp

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

• fklr / atomalloc
  atomalloc is an asynchronous, atomic, and lock-free memory allocator written in pure safe Rust
  ☆29Updated 4 months ago
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆68Updated 5 months ago
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆39Updated 10 months ago
• sphw / k5
  A small experimental microkernel for embedded systems
  ☆24Updated 2 years ago
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆24Updated last month
• jgbyrne / banzai
  banzai: pure rust bzip2 encoder
  ☆29Updated 2 years ago
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆39Updated last week
• graydon / concorde
  ☆27Updated 4 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆33Updated this week
• yoshuawuyts / cargo-task-wasm
  A sandboxed local task runner for Rust
  ☆21Updated 9 months ago
• willcrichton / indexical
  Human-friendly indexed collections
  ☆53Updated last month
• sunshowers-code / debug-ignore
  A newtype wrapper that causes Debug impls to skip a field.
  ☆21Updated 2 years ago
• kevin-lesenechal / nucloid
  Simple monolithic kernel written in Rust for x86-64
  ☆24Updated 4 months ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆103Updated this week
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆13Updated 4 years ago
• fprasx / peapod
  Ultra-compact storage for collections of enums 🌱
  ☆22Updated 2 years ago
• graydon / bocu1
  a BOCU-1 encoder/decoder library in rust
  ☆18Updated 2 years ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆63Updated 2 years ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆39Updated last month
• sunfishcode / ambient-authority
  Ambient Authority
  ☆21Updated 2 years ago
• graydon / backtrace-error
  wrap errors with automatic backtrace capture and print-on-result-unwrap
  ☆33Updated last year
• alilleybrinker / woah
  A Result type that differentiates between local errors (which can be handled) and fatal errors (which can't)
  ☆15Updated 3 years ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated last month
• komora-io / optimistic-cell
  ☆19Updated 2 years ago
• hermit-os / hermit-rs-template
  An application template for Hermit for Rust.
  ☆36Updated 2 weeks ago
• antithesishq / antithesis-sdk-rust
  Antithesis SDK for Rust
  ☆23Updated 2 weeks 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 …
  ☆17Updated 2 years ago
• komora-io / fault-injection
  trigger io::Error's in test, and annotate their source
  ☆30Updated last year
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆48Updated this week
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago