Alternatives and similar repositories for k23

Users that are interested in k23 are comparing it to the libraries listed below

• explodingcamera / tinywasm
  A tiny, interpreted WebAssembly Runtime written in Rust
  ☆542Updated last month
• starina-os / starina
  An experimental modern general-purpose microkernel OS.
  ☆413Updated 3 weeks ago
• tosc-rs / mnemos
  An Operating System for Building Small Computers
  ☆298Updated 9 months ago
• SFBdragon / talc
  A fast and flexible allocator for no_std and WebAssembly
  ☆517Updated 4 months ago
• sunfishcode / eyra
  Rust programs written entirely in Rust
  ☆858Updated 6 months ago
• JGiraldo29 / vekos
  Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
  ☆208Updated 2 months ago
• kwast-os / kwast
  Rust operating system running WebAssembly as userspace in ring 0
  ☆179Updated 4 years ago
• kyren / gc-arena
  Incremental garbage collection from safe Rust
  ☆774Updated 3 months ago
• Eliah-Lakhin / lady-deirdre
  Compiler front-end foundation technology.
  ☆475Updated 3 months ago
• bytecodealliance / cargo-component
  A Cargo subcommand for creating WebAssembly components based on the component model proposal.
  ☆564Updated 3 months ago
• moturus / motor-os
  A simple, fast, and secure operating system for the cloud.
  ☆1,019Updated this week
• wdanilo / crabtime
  ☆1,635Updated last month
• hyperlight-dev / hyperlight-wasm
  hyperlight-wasm is a rust library crate that enables Wasm Modules and components to be run inside lightweight Virtual Machine backed Sand…
  ☆653Updated this week
• bytecodealliance / wit-bindgen
  A language binding generator for WebAssembly interface types
  ☆1,271Updated this week
• formal-land / coq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
  ☆991Updated last week
• hawkw / mycelium
  🍄 an alleged 'operating system'
  ☆690Updated this week
• cel-rust / cel-rust
  Common Expression Language interpreter written in Rust
  ☆523Updated last week
• dada-lang / dada
  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…
  ☆484Updated 5 months ago
• ealmloff / sledgehammer_bindgen
  Breaking the WASM/JS communication performance barrier
  ☆444Updated 6 months ago
• NLnetLabs / roto
  The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.
  ☆410Updated this week
• titzer / wizard-engine
  Research WebAssembly Engine
  ☆462Updated last week
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆941Updated 2 weeks ago
• bytecodealliance / WASI-Virt
  Virtual implementations of WASI APIs
  ☆204Updated 3 weeks ago
• flux-rs / flux
  Refinement Types for Rust
  ☆793Updated this week
• Patryk27 / kartoffels
  a game where you're given a potato and your job is to implement a firmware for it
  ☆502Updated 3 months ago
• bytecodealliance / cap-std
  Capability-oriented version of the Rust standard library
  ☆722Updated 2 weeks ago
• sunfishcode / c-ward
  An implementation of libc written in Rust
  ☆303Updated 2 weeks ago
• steveklabnik / rue
  A programming language that is a minimal subset of Rust
  ☆281Updated last week
• mrgian / felix
  🐱 Experimental operating system written in Rust
  ☆399Updated last year
• dragostis / chili
  Rust port of Spice, a low-overhead parallelization library
  ☆687Updated 6 months ago