the WebAssembly partial evaluator
☆120Mar 4, 2026Updated last month
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☆57Mar 2, 2026Updated last month
- ☆174Aug 28, 2025Updated 7 months ago
- The StarlingMonkey JS runtime☆257Mar 16, 2026Updated 3 weeks ago
- WebAssembly Transformation Library for the Component Model☆36Mar 25, 2026Updated 2 weeks ago
- A draft proposal for spawning threads in WebAssembly☆88Mar 12, 2026Updated 3 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- String OS from User Space!☆11Jun 5, 2023Updated 2 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☆38Aug 6, 2024Updated last year
- A WebAssembly-native Rust stdlib☆118Mar 12, 2026Updated 3 weeks ago
- A sandboxed local task runner for Rust☆22Sep 20, 2024Updated last year
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- Research WebAssembly Engine☆494Updated this week
- CIRC: Concurrent Immediate Reference Counting☆55Nov 15, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated 11 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆90Updated this week
- WASI tools☆17Sep 20, 2023Updated 2 years ago
- Advanced Linter for Gno☆14Mar 23, 2026Updated 2 weeks ago
- A repository for the stack switching proposal.☆198Updated this week
- Command line linker for creating WebAssembly components☆46Updated this week
- The WebAssembly Pre-Initializer☆1,081Mar 10, 2026Updated 3 weeks ago
- ☆58Mar 2, 2026Updated last month
- Solving the 1 Billion Row Challenge in MPL☆17Jan 9, 2024Updated 2 years ago
- 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.
- 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☆940Updated 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☆159Updated this week
- A tool that makes writing WebAssembly Text files easier.☆28Mar 17, 2023Updated 3 years ago
- ☆13Oct 22, 2020Updated 5 years ago
- 📚 (WIP) Rewriting Software Foundations in Lean 4☆30Oct 24, 2025Updated 5 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☆36Mar 8, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- In-memory x86-64 assembler for JIT compiler.☆78Apr 12, 2025Updated 11 months ago
- Documentation around creating and using WebAssembly Components☆131Mar 11, 2026Updated 3 weeks ago
- Non-owning unsafe I/O☆23Aug 6, 2025Updated 8 months ago
- Monorepo for generating, parsing, debugging WebAssembly coredump☆36Dec 31, 2024Updated last year
- Document scoped to discussion of Universal Strings for WebAssembly☆23Jan 31, 2023Updated 3 years ago
- I/O Types proposal for WASI☆183Nov 25, 2025Updated 4 months ago
- An async version of iterator☆41Jun 11, 2024Updated last year