Alternatives and similar repositories for mgnp:

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

• kevin-lesenechal / nucloid
  Simple monolithic kernel written in Rust for x86-64
  ☆24Updated last year
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆36Updated 6 months ago
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆34Updated 2 years ago
• mekaem / atomalloc
  atomalloc is an asynchronous, atomic, and lock-free memory allocator written in pure safe Rust
  ☆27Updated last month
• komora-io / optimistic-cell
  ☆18Updated 2 years ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated this week
• komora-io / inline-array
  ☆10Updated 4 months ago
• matklad / paxosnotes
  ☆22Updated 2 years ago
• sphw / k5
  A small experimental microkernel for embedded systems
  ☆24Updated 2 years ago
• komora-io / fault-injection
  trigger io::Error's in test, and annotate their source
  ☆30Updated last year
• sunfishcode / origin-studio
  An alternative `std`-like implementation built on origin
  ☆26Updated last month
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆23Updated 8 months 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 …
  ☆16Updated 2 years ago
• dtolnay / serde-starlark
  Serde serializer for generating Starlark build targets
  ☆66Updated last week
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆66Updated last week
• komora-io / ebr
  high-efficiency concurrent reclamation
  ☆35Updated 5 months ago
• EmbarkStudios / cfg-expr
  A parser and evaluator for Rust cfg() expressions. Targets as of Rust 1.58.0 are supported.
  ☆40Updated this week
• RalfJung / rustc-build-sysroot
  Build a rustc sysroot with custom flags
  ☆17Updated 4 months ago
• willcrichton / indexical
  Human-friendly indexed collections
  ☆51Updated last year
• oxidecomputer / lethe
  A basic log-structured flash datastore
  ☆20Updated 2 years ago
• rust-secure-code / mem-markers
  Rust library for marker traits about types layout in memory
  ☆22Updated 4 years ago
• dtolnay / bufsize
  bytes::BufMut implementation to count buffer size
  ☆22Updated this week
• Lokathor / bitfrob
  Helps you frob those bits
  ☆35Updated 6 months ago
• hermit-os / hermit-rs-template
  An application template for Hermit for Rust.
  ☆31Updated last week
• neysofu / reltester
  Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator
  ☆20Updated last year
• antithesishq / antithesis-sdk-rust
  Antithesis SDK for Rust
  ☆16Updated last month
• komora-io / stack-map
  constant-size associative container backed by a simple array
  ☆19Updated last year
• tosc-rs / mnemos-alloc
  An async allocator with Fun™️ unsafe Rust
  ☆18Updated last year
• matklad / properly-concurrent
  ☆24Updated 7 months ago
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆76Updated last year