starina-os / starinaLinks
An experimental modern general-purpose microkernel OS.
☆380Updated last month
Alternatives and similar repositories for starina
Users that are interested in starina are comparing it to the libraries listed below
Sorting:
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆206Updated 3 weeks ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆776Updated 2 months ago
- The R9 operating system☆756Updated 2 months ago
- An Operating System for Building Small Computers☆290Updated 7 months ago
- A tiny, interpreted WebAssembly Runtime written in Rust☆540Updated last month
- Experimental WASM Microkernel Operating System☆533Updated last week
- A fast and flexible allocator for no_std and WebAssembly☆507Updated 2 months ago
- xv6 OS☆242Updated last week
- Core POSIX command line utilities in safe Rust☆388Updated 2 months ago
- A simple, fast, and secure operating system for the cloud.☆943Updated this week
- userspace nvme driver☆102Updated 2 months ago
- The Xr0 Verifier for C☆178Updated 4 months ago
- A programming language that is a minimal subset of Rust☆272Updated 2 weeks ago
- A Rust crate for containing memory leaks and fragmentation☆243Updated 4 months ago
- The Kernel of CharlotteOS☆112Updated 10 months ago
- QEMU on browser☆180Updated last week
- Common Expression Language interpreter written in Rust☆487Updated 3 weeks ago
- An implementation of libc written in Rust☆301Updated 4 months ago
- VMM for native-performance sandboxing☆628Updated this week
- Rust support for seL4 userspace☆164Updated last week
- Rust implementation of the Zstandard Seekable Format☆234Updated last week
- The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.☆349Updated this week
- Pico Host Boot Loader☆111Updated last week
- ☆270Updated 3 weeks ago
- A specialized hypervisor for Hermit.☆272Updated this week
- muvm - run programs from your system in a microVM☆663Updated last week
- hyperlight-wasm is a rust library crate that enables Wasm Modules and components to be run inside lightweight Virtual Machine backed Sand…☆626Updated this week
- Writing a hypervisor in 1,000 lines.☆98Updated 2 weeks ago
- A Lisp interpreter written fully in rust macros.☆280Updated 11 months ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year