Alternatives and similar repositories for mgnp

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

• sphw / k5
  A small experimental microkernel for embedded systems
  ☆23Updated 3 years ago
• kevin-lesenechal / nucloid
  Simple monolithic kernel written in Rust for x86-64
  ☆23Updated 11 months ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆13Updated 5 years ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated 2 months ago
• komora-io / inline-array
  ☆12Updated 5 months ago
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆41Updated last year
• oovm / jupyter-protocol
  Jupyter Kernel Protocol for rust
  ☆14Updated 3 months ago
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆75Updated 4 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 …
  ☆17Updated 2 years ago
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆33Updated 3 years ago
• graydon / backtrace-error
  wrap errors with automatic backtrace capture and print-on-result-unwrap
  ☆32Updated last year
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆40Updated 4 months ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆130Updated 3 months ago
• sunfishcode / ambient-authority
  Ambient Authority
  ☆21Updated 2 years ago
• sunshowers-code / debug-ignore
  A newtype wrapper that causes Debug impls to skip a field.
  ☆20Updated 3 years ago
• azaleacolburn / sonder
  Static Pointer Analyzer and Transpiler from C to Safe Rust
  ☆25Updated 3 weeks ago
• oxidecomputer / fable
  TOML deck generator with custom templates and schema validation
  ☆37Updated 2 years ago
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated last year
• willcrichton / indexical
  Human-friendly indexed collections
  ☆56Updated 3 months ago
• SergioBenitez / uncased
  Case-preserving, ASCII case-insensitive `no_std` string types for Rust.
  ☆15Updated 2 years ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆56Updated 2 weeks ago
• versotile-org / fortress
  An isolated security container for sensitive data
  ☆27Updated 10 months ago
• komora-io / stack-map
  constant-size associative container backed by a simple array
  ☆20Updated 2 years ago
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆28Updated last year
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆31Updated 3 years ago
• hermit-os / hermit-rs-template
  An application template for Hermit for Rust.
  ☆39Updated last week
• tosc-rs / mnemos-alloc
  An async allocator with Fun™️ unsafe Rust
  ☆17Updated 2 years ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆46Updated 3 months ago
• matklad / paxosnotes
  ☆23Updated 3 years ago
• spacejam / seaslug
  scraps of a potential language
  ☆38Updated 4 years ago