the WebAssembly partial evaluator
☆131Mar 4, 2026Updated 3 months ago
Alternatives and similar repositories for weval
Users that are interested in weval are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Wasm Analysis Framework For Lightweight Experiments☆64May 18, 2026Updated 3 weeks ago
- The WebAssembly Indirect Call Inliner☆29Oct 18, 2023Updated 2 years ago
- ☆174Aug 28, 2025Updated 9 months ago
- The StarlingMonkey JS runtime☆271Mar 16, 2026Updated 2 months ago
- WebAssembly Transformation Library for the Component Model☆37Jun 1, 2026Updated last week
- 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 draft proposal for spawning threads in WebAssembly☆93Updated this week
- String OS from User Space!☆11Jun 5, 2023Updated 3 years ago
- A demo showing WASM component model resources in various environments☆12Feb 5, 2025Updated last year
- Findings to help in understading DWARF sections stored in the WebAssembly binaries.☆25Aug 31, 2020Updated 5 years ago
- A benchmark for standalone WebAssembly☆37Aug 6, 2024Updated last year
- A WebAssembly-native Rust stdlib☆126Apr 19, 2026Updated last month
- A sandboxed local task runner for Rust☆23Sep 20, 2024Updated last year
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- Research WebAssembly Engine☆498May 29, 2026Updated last week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- CIRC: Concurrent Immediate Reference Counting☆55Nov 15, 2024Updated last year
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆25May 7, 2025Updated last year
- Debugging WebAssembly? Put some Whamm! on it.☆93May 27, 2026Updated last week
- WASI tools☆17Sep 20, 2023Updated 2 years ago
- Browser polyfill for running WASM components☆18Updated this week
- A repository for the stack switching proposal.☆203May 27, 2026Updated last week
- The WebAssembly Pre-Initializer☆1,085Mar 10, 2026Updated 2 months ago
- ☆58May 17, 2026Updated 3 weeks ago
- Command line linker for creating WebAssembly components☆47Jun 1, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Special Interest Group (SIG) whose goal is to investigate how best to integrate Wasm and components into dynamic programming language eco…☆14Jul 2, 2024Updated last year
- JavaScript toolchain for working with WebAssembly Components☆952Updated this week
- 2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Edition☆10Jan 4, 2023Updated 3 years ago
- A TypeScript Compiler Implemented in Rust☆158Updated this week
- 📚 (WIP) Rewriting Software Foundations in Lean 4☆31Oct 24, 2025Updated 7 months ago
- A prototype WebAssembly linker that uses the module linking proposal.☆20Jun 30, 2021Updated 4 years ago
- ⚛ React-tRace is a React Hooks interpreter and a visualizer based on a formal semantics☆38May 13, 2026Updated 3 weeks ago
- In-memory x86-64 assembler for JIT compiler.☆79Updated this week
- A tool that makes writing WebAssembly Text files easier.☆29Mar 17, 2023Updated 3 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.
- I/O Types proposal for WASI☆182Nov 25, 2025Updated 6 months ago
- An async version of iterator☆42Jun 11, 2024Updated last year
- Enable support for try expressions in JavaScript tools☆39May 25, 2026Updated 2 weeks ago
- WebAssembly Composition (WAC) tooling☆199Apr 17, 2026Updated last month
- Ambient Authority☆22Jun 30, 2023Updated 2 years ago
- ☆44Aug 11, 2025Updated 9 months ago
- ☆144Updated this week