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 2 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…
  ☆788Updated 4 months ago
• nuta / hypervisor-in-1000-lines
  Writing a hypervisor in 1,000 lines.
  ☆265Updated last month
• JonasKruckenberg / k23
  Experimental WASM Microkernel Operating System
  ☆584Updated this week
• tosc-rs / mnemos
  An Operating System for Building Small Computers
  ☆298Updated 9 months ago
• OpenDevicePartnership / patina
  Patina Firmware
  ☆478Updated this week
• SFBdragon / talc
  A fast and flexible allocator for no_std and WebAssembly
  ☆517Updated 4 months ago
• explodingcamera / tinywasm
  A tiny, interpreted WebAssembly Runtime written in Rust
  ☆542Updated last month
• r9os / r9
  The R9 operating system
  ☆768Updated 2 weeks ago
• moturus / motor-os
  A simple, fast, and secure operating system for the cloud.
  ☆1,019Updated this week
• bootreer / vroom
  userspace nvme driver
  ☆104Updated 4 months ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆179Updated 6 months ago
• brannondorsey / mem-isolate
  A Rust crate for containing memory leaks and fragmentation
  ☆245Updated 6 months ago
• rustcoreutils / posixutils-rs
  Core POSIX command line utilities in safe Rust
  ☆396Updated 3 weeks ago
• steveklabnik / rue
  A programming language that is a minimal subset of Rust
  ☆281Updated last week
• rorosen / zeekstd
  Rust implementation of the Zstandard Seekable Format
  ☆243Updated this week
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆276Updated this week
• 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
• charlotte-os / Catten
  The Kernel of CharlotteOS, An Experimental Modern Operating System
  ☆236Updated this week
• sunfishcode / c-ward
  An implementation of libc written in Rust
  ☆303Updated 2 weeks ago
• AsahiLinux / muvm
  muvm - run programs from your system in a microVM
  ☆708Updated last week
• varnish / tinykvm
  VMM for native-performance sandboxing
  ☆774Updated this week
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆170Updated 2 weeks ago
• hyperlight-dev / hyperlight-wasm
  hyperlight-wasm is a rust library crate that enables Wasm Modules and components to be run inside lightweight Virtual Machine backed Sand…
  ☆653Updated this week
• popovicu / zig-time-sharing-kernel
  Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI
  ☆184Updated 2 months ago
• cel-rust / cel-rust
  Common Expression Language interpreter written in Rust
  ☆523Updated last week
• RyanWelly / lisp-in-rs-macros
  A Lisp interpreter written fully in rust macros.
  ☆281Updated last year
• google / alioth
  Experimental Type-2 hypervisor, written from scratch in Rust, runs on Linux and macOS.
  ☆306Updated this week
• NLnetLabs / roto
  The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.
  ☆410Updated this week
• project-machine / puzzlefs
  A next-generation container filesystem
  ☆433Updated 4 months ago