tosc-rs / mgnp

Related projects ⓘ

Alternatives and complementary repositories for mgnp

• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆36Updated 3 months ago
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆23Updated 5 months ago
• kevin-lesenechal / nucloid
  Simple monolithic kernel written in Rust for x86-64
  ☆23Updated last year
• mekaem / atomalloc
  atomalloc is an asynchronous, atomic, and lock-free memory allocator written in pure safe Rust
  ☆26Updated 3 weeks ago
• komora-io / ebr
  high-efficiency concurrent reclamation
  ☆35Updated 2 months ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆15Updated 3 weeks ago
• willcrichton / indexical
  Human-friendly indexed collections
  ☆51Updated 10 months ago
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆65Updated last month
• komora-io / optimistic-cell
  ☆18Updated last year
• sphw / k5
  A small experimental microkernel for embedded systems
  ☆23Updated 2 years ago
• graydon / panic-room
  ☆15Updated 4 months ago
• komora-io / inline-array
  ☆10Updated last month
• cbiffle / exhubris
  Making Hubris available to external applications.
  ☆17Updated this week
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆29Updated this week
• frankmcsherry / columnation
  An experimental columnar arena
  ☆41Updated 3 weeks ago
• komora-io / fault-injection
  trigger io::Error's in test, and annotate their source
  ☆30Updated last year
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆32Updated 2 years ago
• slawlor / repl
  Rust Read-Evaluate-Print-Loop utility crate
  ☆12Updated last year
• komora-io / sharded-log
  log for concurrent workloads, with support for atomic batches and in-order recovery
  ☆31Updated 2 years ago
• ferrilab / ferrilab
  Experimenting with Rust's fundamental data model
  ☆47Updated last month
• hermit-os / hermit-rs-template
  An application template for Hermit for Rust.
  ☆30Updated 3 weeks ago
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆26Updated 2 months ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆42Updated last month
• matklad / paxosnotes
  ☆22Updated 2 years ago
• dtolnay / bufsize
  bytes::BufMut implementation to count buffer size
  ☆21Updated last week
• sunshowers-code / debug-ignore
  A newtype wrapper that causes Debug impls to skip a field.
  ☆20Updated last year
• nextest-rs / future-queue
  Queue futures to run concurrently, in the order they're spawned, and with global and group limits.
  ☆57Updated this week
• komora-io / stack-map
  constant-size associative container backed by a simple array
  ☆19Updated last year
• rust-secure-code / mem-markers
  Rust library for marker traits about types layout in memory
  ☆22Updated 4 years ago