JonasKruckenberg / k23Links
Experimental WASM Microkernel Operating System
☆603Updated last 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☆551Updated 3 months ago
- An experimental modern general-purpose microkernel OS.☆431Updated last week
- Rust Linux-compatible kernel☆1,671Updated this week
- A fast and flexible allocator for no_std and WebAssembly☆524Updated 7 months ago
- Rust programs written entirely in Rust☆865Updated 9 months ago
- An Operating System for Building Small Computers☆301Updated last year
- Incremental garbage collection from safe Rust☆801Updated last month
- A programming language that is higher level than Rust but lower level than Go. Someday, anyways.☆996Updated 3 weeks ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆799Updated 7 months ago
- Compiler front-end foundation technology.☆478Updated 2 months ago
- Rust operating system running WebAssembly as userspace in ring 0☆179Updated 5 years ago
- A simple, fast, and secure operating system for the cloud.☆1,066Updated last week
- ☆1,977Updated this week
- A precise specification for "Rust lite / MIR plus"☆956Updated this week
- 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…☆489Updated 8 months ago
- The R9 operating system☆779Updated last week
- 🍄 an alleged 'operating system'☆733Updated last month
- The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.☆447Updated last week
- Capability-oriented version of the Rust standard library☆739Updated last week
- An implementation of libc written in Rust☆311Updated last week
- 🐱 Experimental operating system written in Rust☆404Updated 2 years ago
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆211Updated 5 months ago
- A delicious package manager☆491Updated this week
- Common Expression Language interpreter written in Rust☆566Updated 2 weeks ago
- A simple, expressive, embeddable programming language☆858Updated 2 weeks ago
- Refinement Types for Rust☆821Updated this week
- A language binding generator for WebAssembly interface types☆1,323Updated last week
- Cycle-tracking garbage collector library for Rust☆313Updated last month
- Rust port of Spice, a low-overhead parallelization library☆701Updated 8 months ago
- A Cargo subcommand for creating WebAssembly components based on the component model proposal.☆576Updated 6 months ago