A low-level virtualization interface for Linux-based systems using WebAssembly
☆175Jan 20, 2026Updated last month
Alternatives and similar repositories for WALI
Users that are interested in WALI are comparing it to the libraries listed below
Sorting:
- ☆15Feb 18, 2025Updated last year
- Virtual implementations of WASI APIs☆217Dec 1, 2025Updated 3 months ago
- Research WebAssembly Engine☆486Feb 17, 2026Updated last week
- Experimental WASM Microkernel Operating System☆618Updated this week
- Hello Embedded!☆23Feb 29, 2024Updated 2 years ago
- A proof-of-concept microkernel that runs WebAssembly natively.☆70Feb 19, 2024Updated 2 years ago
- WebAssembly component model implementation for any backend.☆89Mar 3, 2025Updated 11 months ago
- Reading DWARF information from wasm files.☆19Jul 27, 2018Updated 7 years ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆17May 20, 2025Updated 9 months ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 7 months ago
- An interactive debugger for WebAssembly☆144Dec 16, 2023Updated 2 years ago
- WebAssembly AoT compiler for your favorite Operating System☆295Feb 7, 2026Updated 3 weeks ago
- A unikernel designed specifically for running Wasm applications and compatible with WASI☆666Feb 17, 2026Updated last week
- ☆13Oct 24, 2024Updated last year
- VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…☆157Sep 26, 2024Updated last year
- aarch64 system emulator☆41Nov 9, 2025Updated 3 months ago
- Lock ordering enforcement at compile time in Rust☆23Mar 17, 2025Updated 11 months ago
- WebAssembly Composition (WAC) tooling☆191Feb 22, 2026Updated last week
- A simplified subset of C transpiled into Web Assembly☆106Jan 29, 2022Updated 4 years ago
- A Wasm-first VFS☆66Mar 27, 2025Updated 11 months ago
- VS Code Web Extension demonstrating WebUSB access☆19Jun 30, 2022Updated 3 years ago
- A sandboxed local task runner for Rust☆21Sep 20, 2024Updated last year
- AOT binary translator of Linux/ELF → WebAssembly☆384Feb 20, 2026Updated last week
- A Cargo subcommand for creating WebAssembly components based on the component model proposal.☆580Jul 14, 2025Updated 7 months ago
- Proposal for allowing modules to define, import and export modules and instances☆119May 1, 2022Updated 3 years ago
- ☆44Feb 17, 2023Updated 3 years ago
- Web Assembly Value Encoding☆40Jun 18, 2024Updated last year
- Prototype interface for accessing USB devices from WebAssembly Components☆20Jun 11, 2025Updated 8 months ago
- Build environment WasmLinux kernel and userland☆80Oct 20, 2024Updated last year
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- WebAssembly Registry (Warg)☆213Jul 3, 2025Updated 7 months ago
- ☆80Jan 22, 2026Updated last month
- C Compiler written in WASI☆11Jun 14, 2020Updated 5 years ago
- An example of distributed tracing an MCP enabled agent☆15Feb 14, 2026Updated 2 weeks ago
- Mirror of https://c9x.me/git/qbe.git☆11Jun 16, 2022Updated 3 years ago
- Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applications☆11Dec 3, 2024Updated last year
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆85Feb 12, 2026Updated 2 weeks ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆29Aug 30, 2022Updated 3 years ago