JonasKruckenberg / k23
Experimental WASM Microkernel Operating System
☆345Updated this week
Alternatives and similar repositories for k23:
Users that are interested in k23 are comparing it to the libraries listed below
- A tiny, interpreted WebAssembly Runtime written in Rust☆504Updated this week
- A fast and flexible allocator for no_std and WebAssembly☆457Updated last week
- Rust programs written entirely in Rust☆824Updated last month
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆204Updated last month
- ☆1,492Updated 2 weeks ago
- An implementation of libc written in Rust☆284Updated last month
- A safer zlib☆453Updated this week
- Incremental garbage collection from safe Rust☆680Updated 3 weeks ago
- An Operating System for Building Small Computers☆279Updated 3 months ago
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆400Updated 9 months ago
- Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need☆1,282Updated this week
- A very fast linker for Linux☆1,968Updated this week
- 🍄 an alleged 'operating system'☆615Updated this week
- Compiler front-end foundation technology.☆450Updated last month
- A Stable ABI for Rust with compact sum-types☆362Updated 2 weeks ago
- Program startup and thread support written in Rust☆183Updated last week
- 🌀 Ridiculously fast, fully asynchronous, sharded hashmap for Rust.☆493Updated 3 months ago
- Müsli is a flexible and efficient serialization framework☆386Updated this week
- ☆491Updated last month
- Rust String Libraries by mcyoung☆183Updated 2 months ago
- A precise specification for "Rust lite / MIR plus"☆843Updated last week
- Refinement Types for Rust☆723Updated this week
- Making parsing a breeze☆717Updated 2 weeks ago
- A C++/Rust interop tool☆272Updated last month
- A code ACL checker for Rust☆216Updated last month
- Rust operating system running WebAssembly as userspace in ring 0☆166Updated 4 years ago
- Capability-oriented version of the Rust standard library☆683Updated this week
- HTTP 1+2 in Rust, with io_uring & ktls☆398Updated 2 weeks ago
- A delicious package manager☆398Updated this week
- Execute Rust code carefully, with extra checking along the way☆407Updated 8 months ago