A low-level virtualization interface for Linux-based systems using WebAssembly
☆187Apr 24, 2026Updated this week
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
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆18May 20, 2025Updated 11 months ago
- ☆13Mar 7, 2022Updated 4 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.
- Research WebAssembly Engine☆496Updated this week
- Experimental WASM Microkernel Operating System☆625Updated this week
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 9 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆30Aug 30, 2022Updated 3 years ago
- A draft proposal for spawning threads in WebAssembly☆89Apr 18, 2026Updated last week
- Reading DWARF information from wasm files.☆19Jul 27, 2018Updated 7 years ago
- Record and Replay for WebAssembly☆35Feb 14, 2026Updated 2 months ago
- A proof-of-concept microkernel that runs WebAssembly natively.☆71Feb 19, 2024Updated 2 years ago
- WebAssembly component model implementation for any backend.☆90Mar 3, 2025Updated last year
- 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.
- ECMAScript Proposal, specs, and reference implementation for Error.prototype.stack accessor☆26Mar 10, 2026Updated last month
- Documentation around creating and using WebAssembly Components☆131Updated this week
- Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applications☆11Dec 3, 2024Updated last year
- An interactive debugger for WebAssembly☆144Dec 16, 2023Updated 2 years ago
- WebAssembly Composition (WAC) tooling☆196Apr 17, 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…☆157Sep 26, 2024Updated last year
- WebAssembly AoT compiler for your favorite Operating System☆299Feb 7, 2026Updated 2 months ago
- Linux kernel for WebAssembly☆112Nov 17, 2025Updated 5 months ago
- A unikernel designed specifically for running Wasm applications and compatible with WASI☆671Apr 8, 2026Updated 3 weeks 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.
- AOT binary translator of Linux/ELF → WebAssembly☆410Updated 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
- Build environment WasmLinux kernel and userland☆82Oct 20, 2024Updated last year
- 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
- ☆86Apr 21, 2026Updated last week
- Command line linker for creating WebAssembly components☆46Apr 17, 2026Updated last week
- Web Assembly Value Encoding☆40Jun 18, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Cargo subcommand for creating WebAssembly components based on the component model proposal.☆585Jul 14, 2025Updated 9 months ago
- A Wasm-first VFS☆67Mar 27, 2025Updated last year
- Mirror of https://c9x.me/git/qbe.git☆11Jun 16, 2022Updated 3 years ago
- A tool to add and verify digital signatures to/from WASM binaries☆60Feb 5, 2024Updated 2 years ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆112Jan 27, 2026Updated 3 months ago
- Proposal for allowing modules to define, import and export modules and instances☆118May 1, 2022Updated 3 years ago
- Prototype interface for accessing USB devices from WebAssembly Components☆20Updated this week