JonasKruckenberg / k23
Experimental WASM Microkernel Operating System
☆451Updated 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☆508Updated last week
- A fast and flexible allocator for no_std and WebAssembly☆468Updated last month
- ☆1,524Updated last week
- Rust programs written entirely in Rust☆833Updated 2 weeks ago
- Incremental garbage collection from safe Rust☆710Updated 3 weeks ago
- An Operating System for Building Small Computers☆281Updated 3 months ago
- a game where you're given a potato and your job is to implement a firmware for it☆466Updated this week
- Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need☆1,456Updated this week
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆205Updated 2 months ago
- Compiler front-end foundation technology.☆453Updated 2 months ago
- Fault-tolerant async actors for Rust that scale seamlessly☆869Updated 2 weeks ago
- A Cargo subcommand for creating WebAssembly components based on the component model proposal.☆528Updated 3 weeks ago
- Making parsing a breeze☆730Updated last week
- A delicious package manager☆401Updated last week
- Use Tree Sitter to parse your own languages in Rust☆644Updated last week
- 🗻 Log-structured embeddable key-value storage engine written in Rust☆1,067Updated last week
- Rust operating system running WebAssembly as userspace in ring 0☆166Updated 4 years ago
- Refinement Types for Rust☆731Updated this week
- ☆494Updated last month
- A Stable ABI for Rust with compact sum-types☆368Updated this week
- Drop-in embedded database in Rust☆579Updated this week
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆400Updated 10 months ago
- A language binding generator for WebAssembly interface types☆1,143Updated this week
- Capability-oriented version of the Rust standard library☆684Updated 3 weeks ago
- A simple, fast, and secure operating system for the cloud.☆921Updated this week
- 🐱 Experimental operating system written in Rust☆396Updated last year
- Rust port of Spice, a low-overhead parallelization library☆638Updated last week
- An implementation of libc written in Rust☆288Updated 2 weeks ago
- HTTP 1+2 in Rust, with io_uring & ktls☆403Updated last month
- 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…☆479Updated last week