JonasKruckenberg / k23Links
Experimental WASM Microkernel Operating System
☆597Updated 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☆546Updated 2 months ago
- A fast and flexible allocator for no_std and WebAssembly☆520Updated 6 months ago
- An experimental modern general-purpose microkernel OS.☆424Updated 2 months ago
- An Operating System for Building Small Computers☆298Updated 11 months ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆793Updated 6 months ago
- A programming language that is a minimal subset of Rust☆284Updated last month
- Incremental garbage collection from safe Rust☆784Updated 2 weeks ago
- Rust programs written entirely in Rust☆858Updated 7 months ago
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆210Updated 4 months ago
- Compiler front-end foundation technology.☆478Updated last month
- Rust operating system running WebAssembly as userspace in ring 0☆179Updated 4 years ago
- 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…☆484Updated 7 months ago
- A language binding generator for WebAssembly interface types☆1,294Updated last week
- ☆1,659Updated 2 months ago
- Rust Linux-compatible kernel☆1,620Updated this week
- Breaking the WASM/JS communication performance barrier☆448Updated 7 months ago
- A Cargo subcommand for creating WebAssembly components based on the component model proposal.☆570Updated 5 months ago
- A simple, expressive, embeddable programming language☆849Updated last week
- 🍄 an alleged 'operating system'☆695Updated last month
- Capability-oriented version of the Rust standard library☆730Updated last week
- A precise specification for "Rust lite / MIR plus"☆947Updated last week
- hyperlight-wasm is a rust library crate that enables Wasm Modules and components to be run inside lightweight Virtual Machine backed Sand…☆667Updated this week
- Refinement Types for Rust☆804Updated this week
- 🐱 Experimental operating system written in Rust☆403Updated last year
- The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.☆428Updated last week
- Use Tree Sitter to parse your own languages in Rust☆682Updated 6 months ago
- JavaScript toolchain for working with WebAssembly Components☆860Updated this week
- A delicious package manager☆481Updated last week
- Rust port of Spice, a low-overhead parallelization library☆696Updated 7 months ago
- Common Expression Language interpreter written in Rust☆545Updated this week