A low-level virtualization interface for Linux-based systems using WebAssembly
☆180Jan 20, 2026Updated 2 months ago
Alternatives and similar repositories for WALI
Users that are interested in WALI are comparing it to the libraries listed below
Sorting:
- ☆13Oct 24, 2024Updated last year
- Hello Embedded!☆23Feb 29, 2024Updated 2 years ago
- aarch64 system emulator☆41Nov 9, 2025Updated 4 months ago
- Research WebAssembly Engine☆488Mar 13, 2026Updated last week
- Experimental WASM Microkernel Operating System☆622Mar 13, 2026Updated last week
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 8 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆29Aug 30, 2022Updated 3 years ago
- A virtual filesystem layer for WASI.☆182Jan 29, 2026Updated last month
- Virtual implementations of WASI APIs☆219Dec 1, 2025Updated 3 months ago
- A draft proposal for spawning threads in WebAssembly☆87Mar 12, 2026Updated last week
- The Haiku operating system. (Pull requests will be ignored; patches may be sent to https://review.haiku-os.org).☆12Mar 1, 2026Updated 3 weeks ago
- Reading DWARF information from wasm files.☆19Jul 27, 2018Updated 7 years ago
- Record and Replay for WebAssembly☆35Feb 14, 2026Updated last month
- 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 last year
- Documentation around creating and using WebAssembly Components☆130Mar 11, 2026Updated last week
- WebAssembly Composition (WAC) tooling☆191Mar 5, 2026Updated 2 weeks ago
- 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
- WebAssembly AoT compiler for your favorite Operating System☆295Feb 7, 2026Updated last month
- A unikernel designed specifically for running Wasm applications and compatible with WASI☆669Feb 17, 2026Updated last month
- AOT binary translator of Linux/ELF → WebAssembly☆403Updated this week
- Lock ordering enforcement at compile time in Rust☆23Mar 17, 2025Updated last year
- A fast, deterministic, non-cryptographic hash for use in hash tables for Rust☆15Jan 12, 2021Updated 5 years ago
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- Universal Executables☆14Aug 30, 2018Updated 7 years ago
- Build environment WasmLinux kernel and userland☆81Oct 20, 2024Updated last year
- WebAssembly Registry (Warg)☆213Jul 3, 2025Updated 8 months ago
- ☆83Mar 9, 2026Updated last week
- A little library for using SIMD instructions for x86 and ARM, wrapping Agner Fog's vectorclass for x86 and filling some of its functional…☆17Dec 10, 2021Updated 4 years ago
- Browser polyfill for running WASM components☆17Sep 18, 2023Updated 2 years ago
- Command line linker for creating WebAssembly components☆44Feb 20, 2026Updated last month
- Web Assembly Value Encoding☆40Jun 18, 2024Updated last year
- A Cargo subcommand for creating WebAssembly components based on the component model proposal.☆582Jul 14, 2025Updated 8 months ago
- A Wasm-first VFS☆66Mar 27, 2025Updated 11 months ago
- Mirror of https://c9x.me/git/qbe.git☆11Jun 16, 2022Updated 3 years ago
- ecmaOS: Micro-kernel and framework for web technologies☆31Mar 11, 2026Updated last week
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆108Jan 27, 2026Updated last month
- Proposal for allowing modules to define, import and export modules and instances☆119May 1, 2022Updated 3 years ago
- Prototype interface for accessing USB devices from WebAssembly Components☆20Updated this week