starina-os / starinaView external linksLinks
☆433Feb 9, 2026Updated last week
Alternatives and similar repositories for starina
Users that are interested in starina are comparing it to the libraries listed below
Sorting:
- Rust support for seL4 userspace☆189Nov 26, 2025Updated 2 months ago
- Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.☆4,313Updated this week
- A Rust in-memory embedded database with persistence and multiple adapters (JSON, CSV, etc). Acts like a minimalistic ORM with zero setup.…☆69Apr 21, 2025Updated 9 months ago
- Unix-like OS in Rust inspired by xv6-riscv☆1,632Sep 24, 2025Updated 4 months ago
- A microkernel-based hackable operating system.☆562Nov 11, 2024Updated last year
- Core POSIX command line utilities in safe Rust☆411Feb 9, 2026Updated last week
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,462Nov 11, 2024Updated last year
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆801Jun 21, 2025Updated 7 months ago
- Small powerful micro scripting language <1K SLOC☆62Oct 5, 2025Updated 4 months ago
- A simple, fast, and secure operating system for the cloud.☆1,070Updated this week
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- muvm - run programs from your system in a microVM☆813Jan 19, 2026Updated 3 weeks ago
- ExectOS Operating System☆130Feb 10, 2026Updated last week
- Ymir: The Type-1 Hypervisor.☆55Jun 18, 2025Updated 7 months ago
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆211Aug 19, 2025Updated 5 months ago
- VMM for native-performance sandboxing☆794Nov 20, 2025Updated 2 months ago
- libc and tools for creating size-optimized, statically linked Linux i386 and i686 programs☆25Jan 29, 2026Updated 2 weeks ago
- 🗻 Log-structured, embeddable key-value storage engine written in Rust☆1,895Updated this week
- 『自作OSで学ぶマイクロカーネルの設計と実装』サポートサイト☆260May 6, 2025Updated 9 months ago
- Linux kernel for WebAssembly☆106Nov 17, 2025Updated 3 months ago
- A very fast linker for Linux☆3,349Updated this week
- Hermit for Rust.☆1,874Updated this week
- Maestro's installing utility☆45May 13, 2025Updated 9 months ago
- Experimental WASM Microkernel Operating System☆611Updated this week
- A Modern Embedded SQL Database written in Rust☆542Updated this week
- The R9 operating system☆780Feb 9, 2026Updated last week
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆61May 7, 2022Updated 3 years ago
- a smol tcp/ip stack☆4,352Feb 3, 2026Updated 2 weeks ago
- This package "eslint-plugin-export-restrict" is a custom plugin using ESLint for controlling export declarations from files.☆13May 18, 2025Updated 8 months ago
- Papercut NNTP server☆15Jul 1, 2016Updated 9 years ago
- An experimental stackless Lua VM implemented in pure Rust☆2,072Jul 10, 2025Updated 7 months ago
- A L4-like micro-kernel OS written in Rust☆67Jan 6, 2024Updated 2 years ago
- Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untru…☆4,134Updated this week
- A container runtime written in Rust☆7,232Updated this week
- Catalogue of novel operating systems☆338Jul 11, 2025Updated 7 months ago
- The second part of a collection of Soft Dorothy Software scraps and game experiments from the early 90's.☆16Sep 16, 2024Updated last year
- k kernel base code☆44Jan 17, 2026Updated last month
- Historical sources for the TRIvial Operating System☆44Jan 17, 2020Updated 6 years ago
- A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Li…☆5,267Updated this week