JonasKruckenberg / k23
Experimental WASM Microkernel Operating System
☆312Updated this week
Alternatives and similar repositories for k23:
Users that are interested in k23 are comparing it to the libraries listed below
- A fast and flexible allocator for no_std and WebAssembly☆449Updated 3 months ago
- A tiny, interpreted WebAssembly Runtime written in Rust☆494Updated this week
- Rust programs written entirely in Rust☆805Updated 2 months ago
- Incremental garbage collection from safe Rust☆618Updated this week
- An Operating System for Building Small Computers☆273Updated last month
- Müsli is a flexible and efficient serialization framework☆367Updated this week
- A Stable ABI for Rust with compact sum-types☆353Updated last week
- Rust port of Spice, a low-overhead parallelization library☆594Updated 2 months ago
- A code ACL checker for Rust☆208Updated 2 months ago
- A safer zlib☆329Updated this week
- An implementation of libc written in Rust☆230Updated 2 months ago
- Use Tree Sitter to parse your own languages in Rust☆629Updated last week
- Execute Rust code carefully, with extra checking along the way☆402Updated 6 months ago
- Program startup and thread support written in Rust☆174Updated 2 weeks ago
- A fast and ergonomic concurrent hashmap for read-heavy workloads.☆668Updated 2 weeks ago
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆189Updated this week
- ☆363Updated this week
- Cycle-tracking garbage collector library for Rust☆173Updated last month
- Immutable strings, in Rust.☆245Updated last year
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆402Updated 7 months ago
- Making parsing a breeze☆681Updated this week
- Rust String Libraries by mcyoung☆159Updated last month
- Experiments with structured concurrency in Rust☆346Updated 7 months ago
- a model of MIR and the Rust type/trait system☆296Updated last week
- supply-chain security for Rust☆693Updated 3 weeks ago
- ☆465Updated 4 months ago
- 🍄 an alleged 'operating system'☆589Updated 3 weeks ago
- Nio is an experimental async runtime for Rust☆317Updated 2 months ago
- Fast, efficient, and robust memory reclamation for Rust.☆405Updated last week
- A binary encoder/decoder for Rust☆419Updated last week