Alternatives and similar repositories for starina

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

• JGiraldo29 / vekos
  Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
  ☆206Updated last month
• Askannz / munal-os
  An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…
  ☆782Updated 3 months ago
• nuta / hypervisor-in-1000-lines
  Writing a hypervisor in 1,000 lines.
  ☆245Updated 2 weeks ago
• JonasKruckenberg / k23
  Experimental WASM Microkernel Operating System
  ☆540Updated last week
• tosc-rs / mnemos
  An Operating System for Building Small Computers
  ☆291Updated 8 months ago
• r9os / r9
  The R9 operating system
  ☆760Updated last week
• SFBdragon / talc
  A fast and flexible allocator for no_std and WebAssembly
  ☆509Updated 3 months ago
• bootreer / vroom
  userspace nvme driver
  ☆103Updated 3 months ago
• dancrossnyc / rxv64
  xv6 OS
  ☆242Updated last week
• explodingcamera / tinywasm
  A tiny, interpreted WebAssembly Runtime written in Rust
  ☆541Updated last week
• moturus / motor-os
  A simple, fast, and secure operating system for the cloud.
  ☆944Updated this week
• sunfishcode / c-ward
  An implementation of libc written in Rust
  ☆301Updated 5 months ago
• rustcoreutils / posixutils-rs
  Core POSIX command line utilities in safe Rust
  ☆394Updated 2 months ago
• brannondorsey / mem-isolate
  A Rust crate for containing memory leaks and fragmentation
  ☆244Updated 5 months ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆178Updated 5 months ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆166Updated last month
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆274Updated last week
• rorosen / zeekstd
  Rust implementation of the Zstandard Seekable Format
  ☆236Updated last month
• AsahiLinux / muvm
  muvm - run programs from your system in a microVM
  ☆673Updated 3 weeks ago
• bendudson / EuraliOS
  A hobby x86-64 operating system written in Rust
  ☆143Updated last year
• varnish / tinykvm
  VMM for native-performance sandboxing
  ☆632Updated this week
• CharlotteOS-Deprecated / charlotte-core
  The Kernel of CharlotteOS
  ☆111Updated 11 months ago
• steveklabnik / rue
  A programming language that is a minimal subset of Rust
  ☆275Updated last month
• 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
• NLnetLabs / roto
  The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.
  ☆357Updated this week
• sectordistrict / intentrace
  intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta
  ☆599Updated 3 months ago
• whitequark / superlinker
  a tool for reinterpreting ELF executables and shared libraries
  ☆330Updated 10 months ago
• oxidecomputer / phbl
  Pico Host Boot Loader
  ☆112Updated 3 weeks ago
• arjunr2 / WALI
  A low-level virtualization interface for Linux-based systems using WebAssembly
  ☆142Updated last month
• cel-rust / cel-rust
  Common Expression Language interpreter written in Rust
  ☆496Updated last week