starina-os / starinaLinks
An experimental modern general-purpose microkernel OS.
☆357Updated last week
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.☆204Updated 4 months ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆735Updated 3 weeks ago
- Experimental WASM Microkernel Operating System☆509Updated last week
- A fast and flexible allocator for no_std and WebAssembly☆489Updated 3 weeks ago
- The R9 operating system☆724Updated 2 weeks ago
- Core POSIX command line utilities in safe Rust☆380Updated 2 months ago
- A tiny, interpreted WebAssembly Runtime written in Rust☆529Updated 2 weeks ago
- userspace nvme driver☆102Updated last week
- VMM for native-performance sandboxing☆606Updated last week
- An Operating System for Building Small Computers☆285Updated 5 months ago
- A Rust crate for containing memory leaks and fragmentation☆238Updated 2 months ago
- An implementation of libc written in Rust☆294Updated 2 months ago
- The Xr0 Verifier for C☆179Updated 2 months ago
- Common Expression Language interpreter written in Rust☆437Updated 2 weeks ago
- Rust implementation of the Zstandard Seekable Format☆222Updated last week
- a tool for reinterpreting ELF executables and shared libraries☆326Updated 8 months ago
- A simple, fast, and secure operating system for the cloud.☆938Updated this week
- 🐚bash/POSIX-compatible shell implemented in Rust 🦀☆911Updated this week
- Rust support for seL4 userspace☆161Updated 2 weeks ago
- ☆269Updated 4 months ago
- a minimal, allocation-free Prometheus/OpenMetrics metrics implementation for `no-std` and embedded Rust.☆300Updated last year
- A Lisp interpreter written fully in rust macros.☆280Updated 9 months ago
- muvm - run programs from your system in a microVM☆630Updated last month
- intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta☆593Updated 3 weeks ago
- The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.☆322Updated this week
- A specialized hypervisor for Hermit.☆270Updated last week
- hyperlight-wasm is a rust library crate that enables Wasm Modules and components to be run inside lightweight Virtual Machine backed Sand…☆606Updated last week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆69Updated 11 months ago
- Debug breakpoint assertions for Rust☆185Updated 7 months ago
- The Kernel of CharlotteOS☆112Updated 8 months ago