A low-level virtualization interface for Linux-based systems using WebAssembly
☆194Jun 3, 2026Updated 3 weeks ago
Alternatives and similar repositories for WALI
Users that are interested in WALI are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Feb 18, 2025Updated last year
- ☆13Oct 24, 2024Updated last year
- Hello Embedded!☆23Feb 29, 2024Updated 2 years ago
- aarch64 system emulator☆44Apr 27, 2026Updated 2 months ago
- ☆13Mar 7, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Research WebAssembly Engine☆502Jun 17, 2026Updated last week
- Experimental WASM Microkernel Operating System☆644Jun 23, 2026Updated last week
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 11 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆32Aug 30, 2022Updated 3 years ago
- A draft proposal for spawning threads in WebAssembly☆92Updated this week
- The Haiku operating system. (Pull requests will be ignored; patches may be sent to https://review.haiku-os.org).☆12May 5, 2026Updated last month
- Reading DWARF information from wasm files.☆19Jul 27, 2018Updated 7 years ago
- Record and Replay for WebAssembly☆36Feb 14, 2026Updated 4 months ago
- A proof-of-concept microkernel that runs WebAssembly natively.☆72Feb 19, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- WebAssembly component model implementation for any backend.☆91Mar 3, 2025Updated last year
- ECMAScript Proposal, specs, and reference implementation for Error.prototype.stack accessor☆29May 21, 2026Updated last month
- Documentation around creating and using WebAssembly Components☆136Jun 18, 2026Updated last week
- An interactive debugger for WebAssembly☆145Dec 16, 2023Updated 2 years ago
- (WIP) trying to port LKL to wasm☆26Feb 28, 2024Updated 2 years ago
- WebAssembly Composition (WAC) tooling☆200Jun 16, 2026Updated last week
- VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…☆158Sep 26, 2024Updated last year
- WebAssembly AoT compiler for your favorite Operating System☆301Feb 7, 2026Updated 4 months ago
- Linux kernel for WebAssembly☆115May 21, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A unikernel designed specifically for running Wasm applications and compatible with WASI☆677Jun 22, 2026Updated last week
- Lock ordering enforcement at compile time in Rust☆24Mar 17, 2025Updated last year
- A fast, deterministic, non-cryptographic hash for use in hash tables for Rust☆15Jan 12, 2021Updated 5 years ago
- Build environment WasmLinux kernel and userland☆83Oct 20, 2024Updated last year
- Universal Executables☆14Aug 30, 2018Updated 7 years ago
- WebAssembly Registry (Warg)☆211Jul 3, 2025Updated 11 months ago
- A little library for using SIMD instructions for x86 and ARM, wrapping Agner Fog's vectorclass for x86 and filling some of its functional…☆17May 13, 2026Updated last month
- Browser polyfill for running WASM components☆19Jun 11, 2026Updated 2 weeks ago
- ☆90Jun 19, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Cargo subcommand for creating WebAssembly components based on the component model proposal.☆589Jul 14, 2025Updated 11 months ago
- A Wasm-first VFS☆69Mar 27, 2025Updated last year
- Command line linker for creating WebAssembly components☆49Jun 12, 2026Updated 2 weeks ago
- Mirror of https://c9x.me/git/qbe.git☆11Jun 16, 2022Updated 4 years ago
- A tool to add and verify digital signatures to/from WASM binaries☆60Feb 5, 2024Updated 2 years ago
- ecmaOS: Micro-kernel and framework for web technologies☆31Apr 16, 2026Updated 2 months ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆113May 21, 2026Updated last month