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.
  ☆208Updated 3 months ago
• Askannz / munal-os
  An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…
  ☆791Updated 5 months ago
• nuta / hypervisor-in-1000-lines
  Writing a hypervisor in 1,000 lines.
  ☆272Updated 2 months ago
• JonasKruckenberg / k23
  Experimental WASM Microkernel Operating System
  ☆588Updated this week
• r9os / r9
  The R9 operating system
  ☆773Updated last month
• hexagonal-sun / moss-kernel
  Rust Linux-compatible kernel
  ☆1,242Updated this week
• OpenDevicePartnership / patina
  Patina Firmware
  ☆489Updated last week
• tosc-rs / mnemos
  An Operating System for Building Small Computers
  ☆298Updated 10 months ago
• SFBdragon / talc
  A fast and flexible allocator for no_std and WebAssembly
  ☆519Updated 5 months ago
• rustcoreutils / posixutils-rs
  Core POSIX command line utilities in safe Rust
  ☆397Updated this week
• moturus / motor-os
  A simple, fast, and secure operating system for the cloud.
  ☆1,053Updated this week
• explodingcamera / tinywasm
  A tiny, interpreted WebAssembly Runtime written in Rust
  ☆542Updated 2 months ago
• bootreer / vroom
  userspace nvme driver
  ☆106Updated 5 months ago
• steveklabnik / rue
  A programming language that is a minimal subset of Rust
  ☆283Updated 3 weeks ago
• brannondorsey / mem-isolate
  A Rust crate for containing memory leaks and fragmentation
  ☆245Updated 7 months ago
• sunfishcode / c-ward
  An implementation of libc written in Rust
  ☆305Updated last month
• dancrossnyc / rxv64
  xv6 OS
  ☆245Updated 2 months ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆177Updated last week
• charlotte-os / Catten
  The Kernel of CharlotteOS, An Experimental Modern Operating System
  ☆242Updated this week
• rorosen / zeekstd
  Rust implementation of the Zstandard Seekable Format
  ☆247Updated this week
• popovicu / zig-time-sharing-kernel
  Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI
  ☆192Updated 2 months ago
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆66Updated last year
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆277Updated last week
• NLnetLabs / roto
  The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.
  ☆417Updated last week
• CharlotteOS-Deprecated / charlotte-core
  The Kernel of CharlotteOS
  ☆113Updated last year
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆180Updated 7 months ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆193Updated this week
• google / alioth
  Experimental Type-2 hypervisor, written from scratch in Rust, runs on Linux and macOS.
  ☆308Updated 2 weeks ago
• multikernel / kernelscript
  KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization
  ☆278Updated last month
• arjunr2 / WALI
  A low-level virtualization interface for Linux-based systems using WebAssembly
  ☆163Updated last month