JonasKruckenberg / k23Links
Experimental WASM Microkernel Operating System
☆515Updated 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☆535Updated 2 weeks ago
- An Operating System for Building Small Computers☆289Updated 6 months ago
- An experimental modern general-purpose microkernel OS.☆370Updated this week
- A fast and flexible allocator for no_std and WebAssembly☆495Updated last month
- Rust programs written entirely in Rust☆846Updated 3 months ago
- Incremental garbage collection from safe Rust☆747Updated last month
- Rust operating system running WebAssembly as userspace in ring 0☆174Updated 4 years ago
- A Cargo subcommand for creating WebAssembly components based on the component model proposal.☆546Updated 2 weeks ago
- Compiler front-end foundation technology.☆464Updated last month
- ☆1,599Updated 2 months ago
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆204Updated 5 months ago
- Common Expression Language interpreter written in Rust☆457Updated this week
- Safe Rust bindings to POSIX-ish APIs☆1,739Updated 2 weeks ago
- hyperlight-wasm is a rust library crate that enables Wasm Modules and components to be run inside lightweight Virtual Machine backed Sand…☆615Updated this week
- A language binding generator for WebAssembly interface types☆1,208Updated this week
- a game where you're given a potato and your job is to implement a firmware for it☆497Updated last month
- Breaking the WASM/JS communication performance barrier☆422Updated 3 months ago
- Capability-oriented version of the Rust standard library☆700Updated 3 months ago
- An implementation of libc written in Rust☆296Updated 3 months ago
- Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code☆645Updated this week
- 🐱 Experimental operating system written in Rust☆399Updated last year
- Core POSIX command line utilities in safe Rust☆382Updated 2 weeks ago
- Making parsing a breeze☆757Updated 3 weeks ago
- Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need☆1,950Updated 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…☆484Updated 2 months ago
- A precise specification for "Rust lite / MIR plus"☆914Updated last week
- A simple, fast, and secure operating system for the cloud.☆941Updated this week
- Use Tree Sitter to parse your own languages in Rust☆656Updated last month
- Rust debugger for Linux x86-64☆1,130Updated 2 weeks ago
- Cycle-tracking garbage collector library for Rust☆192Updated last month