JonasKruckenberg / k23Links
Experimental WASM Microkernel Operating System
☆509Updated 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☆529Updated 2 weeks ago
- An Operating System for Building Small Computers☆285Updated 5 months ago
- Rust programs written entirely in Rust☆844Updated 2 months ago
- A fast and flexible allocator for no_std and WebAssembly☆489Updated 3 weeks ago
- Incremental garbage collection from safe Rust☆740Updated 2 weeks ago
- An experimental modern general-purpose microkernel OS.☆357Updated this week
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆735Updated 2 weeks ago
- A Cargo subcommand for creating WebAssembly components based on the component model proposal.☆537Updated last month
- ☆1,582Updated 2 months ago
- 🐱 Experimental operating system written in Rust☆400Updated last year
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆204Updated 4 months ago
- Rust operating system running WebAssembly as userspace in ring 0☆173Updated 4 years ago
- An implementation of libc written in Rust☆293Updated 2 months ago
- a game where you're given a potato and your job is to implement a firmware for it☆491Updated 3 weeks ago
- Making parsing a breeze☆749Updated this week
- User interface engine with an integrated vector design tool, built in Rust☆509Updated 7 months ago
- 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…☆485Updated last month
- A safer zlib☆504Updated this week
- Compiler front-end foundation technology.☆466Updated 3 weeks ago
- Common Expression Language interpreter written in Rust☆437Updated 2 weeks ago
- A simple, fast, and secure operating system for the cloud.☆938Updated this week
- A language binding generator for WebAssembly interface types☆1,200Updated last week
- 🍄 an alleged 'operating system'☆647Updated last week
- Core POSIX command line utilities in safe Rust☆380Updated 2 months ago
- The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.☆322Updated this week
- Rust port of Spice, a low-overhead parallelization library☆651Updated 2 months ago
- Use Tree Sitter to parse your own languages in Rust☆654Updated 3 weeks ago
- A very fast linker for Linux☆2,227Updated last week
- JavaScript toolchain for working with WebAssembly Components☆783Updated this week
- ☆506Updated 3 months ago