starina-os / starinaLinks
An experimental modern general-purpose microkernel OS.
☆378Updated 3 weeks ago
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.☆205Updated 5 months ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆765Updated 2 months ago
- Experimental WASM Microkernel Operating System☆522Updated this week
- An Operating System for Building Small Computers☆290Updated 7 months ago
- The R9 operating system☆750Updated last month
- userspace nvme driver☆102Updated last month
- A fast and flexible allocator for no_std and WebAssembly☆505Updated 2 months ago
- The Xr0 Verifier for C☆178Updated 4 months ago
- Core POSIX command line utilities in safe Rust☆386Updated last month
- A tiny, interpreted WebAssembly Runtime written in Rust☆540Updated 3 weeks ago
- xv6 OS☆241Updated 3 weeks ago
- A simple, fast, and secure operating system for the cloud.☆943Updated this week
- A specialized hypervisor for Hermit.☆271Updated this week
- A Rust crate for containing memory leaks and fragmentation☆243Updated 3 months ago
- An implementation of libc written in Rust☆295Updated 3 months ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆69Updated last year
- VMM for native-performance sandboxing☆622Updated this week
- Rust support for seL4 userspace☆163Updated last month
- Rust implementation of the Zstandard Seekable Format☆231Updated this week
- Experimental KVM-based type-2 hypervisor in Rust implemented from scratch.☆277Updated this week
- intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta☆599Updated 2 months ago
- a tool for reinterpreting ELF executables and shared libraries☆330Updated 9 months ago
- A Lisp interpreter written fully in rust macros.☆279Updated 11 months ago
- Common Expression Language interpreter written in Rust☆467Updated last week
- A hobby x86-64 operating system written in Rust☆140Updated last year
- muvm - run programs from your system in a microVM☆651Updated 2 months ago
- Simple live calculator in tree-sitter + cranelift jit☆75Updated 8 months ago
- Rust operating system running WebAssembly as userspace in ring 0☆174Updated 4 years ago
- Debug breakpoint assertions for Rust☆186Updated 8 months ago
- Pico Host Boot Loader☆111Updated last month