JonasKruckenberg / k23Links
Experimental WASM Microkernel Operating System
☆563Updated this week
Alternatives and similar repositories for k23
Users that are interested in k23 are comparing it to the libraries listed below
Sorting:
- A tiny, interpreted WebAssembly Runtime written in Rust☆541Updated 2 weeks ago
- An experimental modern general-purpose microkernel OS.☆402Updated last week
- An Operating System for Building Small Computers☆296Updated 9 months ago
- A fast and flexible allocator for no_std and WebAssembly☆512Updated 4 months ago
- Rust programs written entirely in Rust☆856Updated 5 months ago
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆209Updated 2 months ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆784Updated 4 months ago
- Incremental garbage collection from safe Rust☆769Updated 2 months ago
- Rust operating system running WebAssembly as userspace in ring 0☆178Updated 4 years ago
- ☆1,627Updated 2 weeks ago
- An implementation of libc written in Rust☆302Updated 5 months ago
- A language binding generator for WebAssembly interface types☆1,259Updated this week
- A Cargo subcommand for creating WebAssembly components based on the component model proposal.☆562Updated 3 months ago
- Compiler front-end foundation technology.☆473Updated 2 months ago
- Common Expression Language interpreter written in Rust☆511Updated last week
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆986Updated last month
- A simple, fast, and secure operating system for the cloud.☆945Updated this week
- 🐱 Experimental operating system written in Rust☆399Updated last year
- Capability-oriented version of the Rust standard library☆715Updated 6 months ago
- JavaScript toolchain for working with WebAssembly Components☆834Updated this week
- I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and ev…☆485Updated 5 months ago
- Rust port of Spice, a low-overhead parallelization library☆683Updated 5 months ago
- A precise specification for "Rust lite / MIR plus"☆937Updated last month
- Virtual implementations of WASI APIs☆199Updated last week
- WebAssembly Composition (WAC) tooling☆168Updated last month
- 🍄 an alleged 'operating system'☆680Updated last week
- The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.☆380Updated this week
- hyperlight-wasm is a rust library crate that enables Wasm Modules and components to be run inside lightweight Virtual Machine backed Sand…☆643Updated last week
- Research WebAssembly Engine☆458Updated last week
- Core POSIX command line utilities in safe Rust☆395Updated 3 months ago