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.
  ☆307Updated 6 years ago
• IsaacWoods / poplar
  Toy microkernel and userspace written in Rust, exploring modern ideas
  ☆264Updated 2 months ago
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆277Updated last week
• gz / rust-x86
  Rust library to use x86 (amd64) specific functionality and registers.
  ☆316Updated last year
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆367Updated 5 years ago
• sos-os / kernel
  The Stupid Operating System
  ☆274Updated 7 years ago
• emk / toyos-rs
  Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/
  ☆91Updated 3 years ago
• thepowersgang / rust-barebones-kernel
  A barebones framework for a rust kernel.
  ☆287Updated 2 years ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆227Updated 4 years ago
• m4b / dryad
  An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust
  ☆171Updated 7 years ago
• gamozolabs / orange_slice
  A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost
  ☆540Updated 4 years ago
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆199Updated 10 months ago
• cloud-hypervisor / rust-hypervisor-firmware
  ☆652Updated this week
• redox-os / ralloc
  Mirror of https://gitlab.redox-os.org/redox-os/ralloc
  ☆323Updated 4 years ago
• 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…
  ☆148Updated 4 years ago
• ixy-languages / ixy.rs
  Rust rewrite of the ixy network driver
  ☆317Updated last year
• ezrosent / allocators-rs
  Allocators in Rust
  ☆317Updated 5 years ago
• o8vm / krabs
  An x86 bootloader written in Rust.
  ☆529Updated 4 years ago
• sapir / gcc-rust
  a (WIP) Rust frontend for gcc / a gcc backend for rustc
  ☆202Updated 4 years ago
• RWTH-OS / eduOS-rs
  A teaching operating system written in Rust
  ☆465Updated last week
• carlosgaldino / gotenksfs
  A file system on top of your file system
  ☆383Updated 5 years ago
• m4b / faerie
  Magical ELF and Mach-o object file writer backend
  ☆287Updated last year
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆162Updated 4 months ago
• dgreid / crosvm
  ☆54Updated 4 months ago
• lizhuohua / linux-kernel-module-rust
  ☆629Updated 6 years ago
• NuxiNL / cloudabi
  Definitions for the CloudABI data types and system calls
  ☆135Updated 5 years ago
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆341Updated last week
• CraneStation / lightbeam
  Lightbeam has moved and now lives in the Wasmtime repository!
  ☆250Updated 6 years ago
• anelson / tracers
  Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc
  ☆221Updated 5 years ago
• jvns / puddle
  A tiny 32 bit kernel written in Rust, for fun
  ☆194Updated 8 years ago