Askannz / munal-osLinks
An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WASM sandboxing.
☆791Updated 5 months ago
Alternatives and similar repositories for munal-os
Users that are interested in munal-os are comparing it to the libraries listed below
Sorting:
- An experimental modern general-purpose microkernel OS.☆420Updated last month
- Rust Linux-compatible kernel☆1,242Updated this week
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆208Updated 3 months ago
- A tiny, interpreted WebAssembly Runtime written in Rust☆542Updated last month
- Experimental WASM Microkernel Operating System☆588Updated this week
- LO - small programming language targeting WASM that aims to be as simple as possible☆474Updated this week
- A simple, fast, and secure operating system for the cloud.☆1,053Updated this week
- A Rust crate for containing memory leaks and fragmentation☆245Updated 7 months ago
- Core POSIX command line utilities in safe Rust☆397Updated this week
- Experimental OS, built with rust☆967Updated 2 years ago
- ☆271Updated 3 months ago
- The Kernel of CharlotteOS, An Experimental Modern Operating System☆242Updated this week
- Demo project showing a single Rust codebase running on CPU and directly on GPUs☆461Updated 3 months ago
- A Lisp interpreter written fully in rust macros.☆282Updated last year
- Unix pipes between devices☆510Updated 3 weeks ago
- 🐚bash/POSIX-compatible shell implemented in Rust 🦀☆1,118Updated this week
- 🌊 A lightning-fast, lightweight, and secure HTML/CSS engine☆305Updated this week
- A second iteration of the (to be) DOS-friendly hobby OS.☆203Updated this week
- The R9 operating system☆773Updated last month
- Framework of Operating System Development☆108Updated last year
- A Positively Charged JavaScript Runtime☆329Updated last month
- sqlite as a filesystem☆279Updated 6 months ago
- ☆203Updated last year
- Compiler front-end foundation technology.☆476Updated 2 weeks ago
- VMM for native-performance sandboxing☆780Updated last week
- What would happen if we didn't use TCP or UDP?☆352Updated 9 months ago
- 炊紙(kashikishi) is a text editor that utilizes GPU to edit text in a 3D space.☆361Updated last week
- WebAssembly (Wasm) arch support for the Linux kernel☆1,065Updated this week
- Mirror of my from-scratch x86_64 UNIX-like OS.☆389Updated last month
- Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI☆192Updated 2 months ago