Alternatives and similar repositories for redleaf

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

• olivierpierre / unikernel-papers
  ☆124Updated 5 months ago
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆162Updated 3 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆63Updated 6 months ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆75Updated last year
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆278Updated last month
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆365Updated 5 years ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆114Updated last year
• IPADS-DuVisor / DuVisor
  ☆72Updated 2 years ago
• matthias-brun / verified-nrkernel
  ☆20Updated last month
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆57Updated this week
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆38Updated 2 months ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆65Updated 2 years ago
• asterinas / vostd
  A community preview of ongoing formal verification efforts for Asterinas
  ☆36Updated this week
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆40Updated last year
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆340Updated this week
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆141Updated last year
• syswonder / ruxos
  Rust Unikernel OS
  ☆85Updated 2 months ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆68Updated last year
• rcore-os / buddy_system_allocator
  A buddy system allocator in pure Rust.
  ☆121Updated last year
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 3 years ago
• LinuxPerfStudy / LEBench
  ☆64Updated last year
• jwnhy / coffer
  Coffer is a RISC-V trusted execution environment developed in Rust.
  ☆21Updated 3 years ago
• smiller123 / bento
  ☆77Updated last year
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆17Updated 3 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆41Updated this week
• project-dune / dune
  ☆207Updated 3 years ago
• imtsuki / xv7
  🦀️ Operating System in 100% Pure Rust
  ☆102Updated 4 years ago
• syswonder / hvisor
  safe type-1 Rust Hypervisor for edge devices
  ☆147Updated last week
• Jaic1 / xv6-riscv-rust
  ☆76Updated 3 years ago
• uclasystem / DRust
  ☆50Updated last year