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.
☆753Updated last month
Alternatives and similar repositories for munal-os
Users that are interested in munal-os are comparing it to the libraries listed below
Sorting:
- A tiny, interpreted WebAssembly Runtime written in Rust☆535Updated 2 weeks ago
- An experimental modern general-purpose microkernel OS.☆370Updated this week
- LO - small programming language targeting WASM that aims to be as simple as possible☆472Updated this week
- A simple, fast, and secure operating system for the cloud.☆941Updated this week
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆204Updated 5 months ago
- Experimental WASM Microkernel Operating System☆515Updated this week
- Experimental OS, built with rust☆966Updated last year
- A Rust crate for containing memory leaks and fragmentation☆240Updated 3 months ago
- Compiler front-end foundation technology.☆464Updated last month
- A Lisp interpreter written fully in rust macros.☆280Updated 10 months ago
- ☆269Updated 5 months ago
- Core POSIX command line utilities in safe Rust☆381Updated 2 weeks ago
- sqlite as a filesystem☆271Updated 2 months ago
- 🌊 A lightning-fast, lightweight, and secure HTML/CSS engine☆283Updated last month
- 炊紙(kashikishi) is a text editor that utilizes GPU to edit text in a 3D space.☆357Updated this week
- Deterministic workflow engine☆281Updated this week
- The R9 operating system☆738Updated last month
- 🐚bash/POSIX-compatible shell implemented in Rust 🦀☆959Updated this week
- ☆205Updated 8 months ago
- WIP: Next-gen network protocol for reliable data transfer in lossy environments. Outperforms TCP/UDP in high packet loss scenarios.☆311Updated 10 months ago
- framebuffer user interface☆300Updated 2 months ago
- What would happen if we didn't use TCP or UDP?☆350Updated 5 months ago
- A second iteration of the DOS-friendly hobby OS.☆196Updated 2 weeks ago
- Common Expression Language interpreter written in Rust☆457Updated this week
- Unix pipes between devices☆240Updated 3 weeks ago
- A faster FaaS platform with full wasi-http compliance☆223Updated last month
- Framework of Operating System Development☆106Updated 11 months ago
- Operations on matrices, vectors, and quaternions☆124Updated 3 weeks ago
- VMM for native-performance sandboxing☆613Updated last month
- A fast and flexible allocator for no_std and WebAssembly☆495Updated last month