JonasKruckenberg / k23Links
Experimental WASM Microkernel Operating System
☆486Updated 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☆517Updated 2 weeks ago
- A fast and flexible allocator for no_std and WebAssembly☆479Updated last month
- Rust programs written entirely in Rust☆838Updated last month
- Incremental garbage collection from safe Rust☆724Updated last month
- A Cargo subcommand for creating WebAssembly components based on the component model proposal.☆532Updated last week
- ☆1,559Updated last month
- An implementation of libc written in Rust☆292Updated last month
- A language binding generator for WebAssembly interface types☆1,175Updated last week
- An Operating System for Building Small Computers☆282Updated 4 months ago
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆205Updated 3 months ago
- Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need☆1,777Updated this week
- An experimental modern general-purpose microkernel OS.☆329Updated this week
- Safe Rust bindings to POSIX-ish APIs☆1,702Updated 3 weeks ago
- Capability-oriented version of the Rust standard library☆690Updated last month
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆464Updated this week
- JavaScript toolchain for working with WebAssembly Components☆775Updated this week
- Rust debugger for Linux x86-64☆1,103Updated 3 weeks ago
- Rust port of Spice, a low-overhead parallelization library☆645Updated last month
- HTTP 1+2 in Rust, with io_uring & ktls☆408Updated 2 months ago
- LO - small programming language targeting WASM that aims to be as simple as possible☆470Updated this week
- A very fast linker for Linux☆2,152Updated this week
- Nio is an experimental async runtime for Rust☆319Updated 6 months ago
- Rust operating system running WebAssembly as userspace in ring 0☆173Updated 4 years ago
- A delicious package manager☆406Updated this week
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆409Updated 11 months ago
- Compiler front-end foundation technology.☆455Updated 3 months ago
- Making parsing a breeze☆735Updated this week
- Core POSIX command line utilities in safe Rust☆376Updated last month
- A Stable ABI for Rust with compact sum-types☆374Updated last month
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆913Updated last week