JonasKruckenberg / k23
Experimental WASM Microkernel Operating System
☆335Updated this week
Alternatives and similar repositories for k23:
Users that are interested in k23 are comparing it to the libraries listed below
- Rust programs written entirely in Rust☆822Updated 3 weeks ago
- An implementation of libc written in Rust☆281Updated 3 weeks ago
- A fast and flexible allocator for no_std and WebAssembly☆454Updated 4 months ago
- A tiny, interpreted WebAssembly Runtime written in Rust☆496Updated 3 weeks ago
- An Operating System for Building Small Computers☆275Updated 2 months ago
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆402Updated 8 months ago
- Incremental garbage collection from safe Rust☆658Updated last week
- Nio is an experimental async runtime for Rust☆319Updated 3 months ago
- ☆1,405Updated this week
- Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code☆578Updated this week
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆204Updated last month
- Making parsing a breeze☆692Updated 2 weeks ago
- Müsli is a flexible and efficient serialization framework☆384Updated last week
- A Stable ABI for Rust with compact sum-types☆361Updated 3 weeks ago
- Execute Rust code carefully, with extra checking along the way☆403Updated 7 months ago
- HTTP 1+2 in Rust, with io_uring & ktls☆388Updated 3 weeks ago
- A fast and ergonomic concurrent hashmap for read-heavy workloads.☆688Updated 2 weeks ago
- A precise specification for "Rust lite / MIR plus"☆842Updated 2 weeks ago
- A minimal async executor that lets you block on a future☆578Updated 2 months ago
- A binary encoder/decoder for Rust☆437Updated last week
- ZIP format implementation in Rust, sans-io☆344Updated 3 weeks ago
- Rust String Libraries by mcyoung☆177Updated 2 months ago
- Use Tree Sitter to parse your own languages in Rust☆636Updated last month
- Rust port of Spice, a low-overhead parallelization library☆618Updated last week
- Cycle-tracking garbage collector library for Rust☆178Updated 2 months ago
- Rust debugger for Linux x86-64☆671Updated this week
- A code ACL checker for Rust☆210Updated 2 weeks ago
- Scan your Rust crate for semver violations.☆1,347Updated this week
- A safer zlib☆443Updated this week
- A stupid Rust memory allocator☆194Updated last month