the WebAssembly partial evaluator
☆119Mar 4, 2026Updated 2 weeks ago
Alternatives and similar repositories for weval
Users that are interested in weval are comparing it to the libraries listed below
Sorting:
- Wasm Analysis Framework For Lightweight Experiments☆57Mar 2, 2026Updated 2 weeks ago
- The WebAssembly Indirect Call Inliner☆28Oct 18, 2023Updated 2 years ago
- ☆174Aug 28, 2025Updated 6 months ago
- WebAssembly Transformation Library for the Component Model☆35Updated this week
- A draft proposal for spawning threads in WebAssembly☆86Mar 12, 2026Updated last week
- String OS from User Space!☆11Jun 5, 2023Updated 2 years ago
- 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☆114Mar 12, 2026Updated last week
- A sandboxed local task runner for Rust☆21Sep 20, 2024Updated last year
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- Research WebAssembly Engine☆488Updated this week
- 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)☆24May 7, 2025Updated 10 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆89Updated this week
- WASI tools☆17Sep 20, 2023Updated 2 years ago
- Browser polyfill for running WASM components☆17Sep 18, 2023Updated 2 years ago
- Advanced Linter for Gno☆14Feb 16, 2026Updated last month
- A repository for the stack switching proposal.☆194Updated this week
- Command line linker for creating WebAssembly components☆43Feb 20, 2026Updated 3 weeks ago
- The WebAssembly Pre-Initializer☆1,072Mar 10, 2026Updated last week
- ☆58Mar 2, 2026Updated 2 weeks ago
- Solving the 1 Billion Row Challenge in MPL☆17Jan 9, 2024Updated 2 years ago
- 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☆925Updated 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
- ☆13Oct 22, 2020Updated 5 years ago
- 📚 (WIP) Rewriting Software Foundations in Lean 4☆28Oct 24, 2025Updated 4 months ago
- ⚛ React-tRace is a React Hooks interpreter and a visualizer based on a formal semantics☆36Mar 8, 2026Updated last week
- A prototype WebAssembly linker that uses the module linking proposal.☆20Jun 30, 2021Updated 4 years ago
- In-memory x86-64 assembler for JIT compiler.☆78Apr 12, 2025Updated 11 months ago
- A sampling-based heap memory profiler for WebAssembly on JavaScript engines.☆14Nov 25, 2025Updated 3 months ago
- Documentation around creating and using WebAssembly Components☆129Mar 11, 2026Updated last week
- Non-owning unsafe I/O☆23Aug 6, 2025Updated 7 months ago
- 🧮 Polynomial Calculator☆12Jan 3, 2023Updated 3 years ago
- Monorepo for generating, parsing, debugging WebAssembly coredump☆37Dec 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☆182Nov 25, 2025Updated 3 months ago