JonasKruckenberg / k23Links
Experimental WASM Microkernel Operating System
☆533Updated last 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☆540Updated last month
- An experimental modern general-purpose microkernel OS.☆380Updated last month
- An Operating System for Building Small Computers☆290Updated 7 months ago
- A fast and flexible allocator for no_std and WebAssembly☆507Updated 2 months ago
- Rust programs written entirely in Rust☆851Updated 4 months ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆776Updated 2 months ago
- Incremental garbage collection from safe Rust☆763Updated last month
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆206Updated 3 weeks ago
- A Cargo subcommand for creating WebAssembly components based on the component model proposal.☆558Updated last month
- Rust operating system running WebAssembly as userspace in ring 0☆175Updated 4 years ago
- A language binding generator for WebAssembly interface types☆1,229Updated this week
- Common Expression Language interpreter written in Rust☆487Updated 3 weeks ago
- Compiler front-end foundation technology.☆470Updated last month
- hyperlight-wasm is a rust library crate that enables Wasm Modules and components to be run inside lightweight Virtual Machine backed Sand…☆626Updated this week
- The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.☆349Updated this week
- A safer zlib☆522Updated this week
- Use Tree Sitter to parse your own languages in Rust☆667Updated 2 months ago
- ☆1,610Updated 4 months ago
- A delicious package manager☆448Updated this week
- A programming language that is a minimal subset of Rust☆272Updated 2 weeks ago
- Breaking the WASM/JS communication performance barrier☆439Updated 4 months ago
- 🐱 Experimental operating system written in Rust☆399Updated last year
- Virtual implementations of WASI APIs☆192Updated last week
- A precise specification for "Rust lite / MIR plus"☆922Updated 2 weeks ago
- An implementation of libc written in Rust☆301Updated 4 months ago
- Refinement Types for Rust☆767Updated this week
- JavaScript toolchain for working with WebAssembly Components☆809Updated last 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…☆482Updated 3 months ago
- Research WebAssembly Engine☆445Updated last week
- a game where you're given a potato and your job is to implement a firmware for it☆501Updated last month