Alternatives and similar repositories for manticore:

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

• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆298Updated 5 years ago
• IsaacWoods / poplar
  Microkernel and userspace written in Rust exploring modern ideas
  ☆254Updated 3 weeks ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆224Updated 3 years ago
• redox-os / ralloc
  Mirror of https://gitlab.redox-os.org/redox-os/ralloc
  ☆322Updated 4 years ago
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆260Updated this week
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆193Updated last month
• CraneStation / lightbeam
  Lightbeam has moved and now lives in the Wasmtime repository!
  ☆249Updated 5 years ago
• gz / rust-x86
  Rust library to use x86 (amd64) specific functionality and registers.
  ☆312Updated last year
• backtrace-labs / slitter
  Slitter is a C- and Rust-callable slab allocator implemented primarily in Rust, with some C for performance or to avoid unstable Rust fea…
  ☆143Updated 3 years ago
• cloud-hypervisor / rust-hypervisor-firmware
  ☆622Updated this week
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆316Updated last week
• hermit-os / kernel
  A Rust-based, lightweight unikernel.
  ☆1,229Updated this week
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆353Updated 5 years ago
• sos-os / kernel
  The Stupid Operating System
  ☆267Updated 6 years ago
• o8vm / krabs
  An x86 bootloader written in Rust.
  ☆522Updated 3 years ago
• ixy-languages / ixy.rs
  Rust rewrite of the ixy network driver
  ☆306Updated last year
• redox-os / relibc
  Mirror of https://gitlab.redox-os.org/redox-os/relibc
  ☆879Updated this week
• m4b / dryad
  An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust
  ☆168Updated 7 years ago
• ringbahn / iou
  Rust interface to io_uring
  ☆329Updated 8 months ago
• QuiltOS / QuiltOS
  A language-based OS to run Rust on bare metal
  ☆85Updated 8 years ago
• ssrg-vt / hermitux
  A binary-compatible unikernel
  ☆392Updated 6 months ago
• ezrosent / allocators-rs
  Allocators in Rust
  ☆311Updated 4 years ago
• RWTH-OS / eduOS-rs
  A teaching operating system written in Rust
  ☆438Updated last week
• lizhuohua / linux-kernel-module-rust
  ☆632Updated 5 years ago
• souvik1997 / kernel-roulette
  A kernel module written in Rust
  ☆136Updated 5 years ago
• carlosgaldino / gotenksfs
  A file system on top of your file system
  ☆375Updated 4 years ago
• anelson / tracers
  Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc
  ☆219Updated 5 years ago
• withoutboats / shifgrethor
  garbage collection
  ☆321Updated 5 years ago
• trishume / telefork
  Like fork() but teleports the forked process to a different computer!
  ☆596Updated 3 years ago
• vertexclique / nuclei
  Proactive IO & Runtime system
  ☆260Updated 10 months ago