the WebAssembly partial evaluator
☆115Aug 28, 2025Updated 6 months ago
Alternatives and similar repositories for weval
Users that are interested in weval are comparing it to the libraries listed below
Sorting:
- The StarlingMonkey JS runtime☆249Dec 19, 2025Updated 2 months ago
- Wasm Analysis Framework For Lightweight Experiments☆56Updated this week
- The WebAssembly Indirect Call Inliner☆27Oct 18, 2023Updated 2 years ago
- ☆174Aug 28, 2025Updated 6 months ago
- Findings to help in understading DWARF sections stored in the WebAssembly binaries.☆25Aug 31, 2020Updated 5 years ago
- A draft proposal for spawning threads in WebAssembly☆86Jan 16, 2026Updated last month
- WebAssembly Transformation Library for the Component Model☆34Feb 21, 2026Updated last week
- Research WebAssembly Engine☆486Feb 17, 2026Updated last week
- CIRC: Concurrent Immediate Reference Counting☆55Nov 15, 2024Updated last year
- ☆58Jul 8, 2025Updated 7 months ago
- Advanced Linter for Gno☆14Feb 16, 2026Updated last week
- 📚 (WIP) Rewriting Software Foundations in Lean 4☆28Oct 24, 2025Updated 4 months ago
- A WebAssembly-native Rust stdlib☆112Feb 18, 2026Updated last week
- The WebAssembly Pre-Initializer☆1,072Updated this week
- Solving the 1 Billion Row Challenge in MPL☆17Jan 9, 2024Updated 2 years ago
- A sandboxed local task runner for Rust☆21Sep 20, 2024Updated last year
- A TypeScript Compiler Implemented in Rust☆158Updated this week
- Rust crate for Ok-wrapping and try blocks☆22Oct 18, 2022Updated 3 years ago
- A repository for the stack switching proposal.☆188Oct 21, 2025Updated 4 months ago
- A sampling-based heap memory profiler for WebAssembly on JavaScript engines.☆14Nov 25, 2025Updated 3 months ago
- WebAssembly Composition (WAC) tooling☆190Updated this week
- In-memory x86-64 assembler for JIT compiler.☆78Apr 12, 2025Updated 10 months ago
- 2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Edition☆10Jan 4, 2023Updated 3 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆85Feb 12, 2026Updated 2 weeks ago
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- Documentation around creating and using WebAssembly Components☆124Jan 28, 2026Updated last month
- A modular web assembly microkernel os for the web☆11Mar 11, 2020Updated 5 years ago
- Browser polyfill for running WASM components☆17Sep 18, 2023Updated 2 years ago
- MoonBit WASM-4 on the ESP32 series microcontroller☆15Nov 28, 2024Updated last year
- 🧮 Polynomial Calculator☆12Jan 3, 2023Updated 3 years ago
- ☆13Oct 22, 2020Updated 5 years ago
- An async version of iterator☆41Jun 11, 2024Updated last year
- `memory_pages` is a small library provinig a cross-platform API to request pages from kernel with certain premisions☆31Mar 25, 2023Updated 2 years ago
- Compile your WebAssembly programs into SPIR-V shaders☆58Oct 26, 2023Updated 2 years ago
- ⚛ React-tRace is a React Hooks interpreter and a visualizer based on a formal semantics☆35Feb 9, 2026Updated 2 weeks ago
- A simple package to format Backus-Naur form☆15Feb 9, 2026Updated 2 weeks ago
- A digital garden on science in the era of computers and networks (moved to https://codeberg.org/khinsen/science-in-the-digital-era)☆11Dec 18, 2023Updated 2 years ago
- Minimal examples of crates useful for compiler development☆25Feb 2, 2026Updated 3 weeks ago
- WASI tools☆17Sep 20, 2023Updated 2 years ago