Alternatives and similar repositories for hypervisor-in-1000-lines

Users that are interested in hypervisor-in-1000-lines are comparing it to the libraries listed below

• starina-os / starina
  ☆433Updated 2 weeks ago
• yomaytk / elfconv
  AOT binary translator of Linux/ELF → WebAssembly
  ☆382Updated this week
• google / alioth
  Experimental Type-2 hypervisor, written from scratch in Rust, runs on Linux and macOS.
  ☆328Updated last week
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆208Updated 9 months ago
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆67Updated last year
• TimMisiak / dbgrs
  A windows debugger written in Rust, for educational purposes
  ☆162Updated last year
• ktock / qemu-wasm
  QEMU on browser
  ☆296Updated 2 weeks ago
• mathetake / tvisor
  tvisor is a tiny 100% userspace syscall interception framework
  ☆46Updated last year
• bootreer / vroom
  userspace nvme driver
  ☆109Updated 7 months ago
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆117Updated last year
• JGiraldo29 / vekos
  Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
  ☆211Updated 5 months ago
• microsoft / igvm
  ☆142Updated 3 weeks ago
• mebeim / linux-syscalls
  🌐🐧 Browsable Linux kernel syscall tables built with Systrack (https://github.com/mebeim/systrack)
  ☆218Updated 4 months ago
• whitequark / superlinker
  a tool for reinterpreting ELF executables and shared libraries
  ☆345Updated last year
• qemu-rs / qemu-rs
  QEMU for Rust, and Rust for QEMU
  ☆89Updated last month
• microsoft / elfcore
  A Rust crate for creating memory dumps of running processes on Linux
  ☆64Updated 8 months ago
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆341Updated last week
• ashtonsix / perf-portfolio
  HPC research and demonstrations
  ☆114Updated last month
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆278Updated this week
• Askannz / munal-os
  An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…
  ☆800Updated 7 months ago
• popovicu / zig-time-sharing-kernel
  Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI
  ☆202Updated 4 months ago
• microsoft / bf-tree
  Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.
  ☆924Updated 2 weeks ago
• dancrossnyc / rxv64
  xv6 OS
  ☆245Updated 4 months ago
• andrewhalle / byo-linker
  Build your own - linker
  ☆213Updated 4 years ago
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆48Updated 2 years ago
• rex-rs / rex
  Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…
  ☆499Updated last week
• microsoft / litebox
  A security-focused library OS supporting kernel- and user-mode execution
  ☆715Updated this week
• SamGinzburg / VectorVisor
  VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…
  ☆157Updated last year
• shadyfennec / stupidalloc
  A stupid Rust memory allocator
  ☆196Updated 11 months ago
• ColinFinck / ntfs
  An implementation of the NTFS filesystem in a Rust crate, usable from firmware level up to user-mode.
  ☆582Updated 3 weeks ago