Wasm Analysis Framework For Lightweight Experiments
☆57Mar 2, 2026Updated 2 weeks ago
Alternatives and similar repositories for waffle
Users that are interested in waffle are comparing it to the libraries listed below
Sorting:
- WASI tools☆17Sep 20, 2023Updated 2 years ago
- the WebAssembly partial evaluator☆119Mar 4, 2026Updated 2 weeks ago
- String OS from User Space!☆11Jun 5, 2023Updated 2 years ago
- A sandboxed local task runner for Rust☆21Sep 20, 2024Updated last year
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- A WebAssembly-native Rust stdlib☆114Mar 12, 2026Updated last week
- WebAssembly Transformation Library for the Component Model☆35Mar 13, 2026Updated last week
- An alternative `std`-like implementation built on origin☆35Mar 7, 2025Updated last year
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆28Sep 8, 2025Updated 6 months ago
- Starter template for proposing a new WASI API☆28Mar 18, 2024Updated 2 years ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆19Feb 13, 2026Updated last month
- A demo showing WASM component model resources in various environments☆12Feb 5, 2025Updated last year
- 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
- The StarlingMonkey JS runtime☆252Updated this week
- ☆16Jun 13, 2021Updated 4 years ago
- a metaprogramming language that compiles from types☆10Jun 26, 2024Updated last year
- LLVM IR to Cranelift IR translator☆37Oct 8, 2019Updated 6 years ago
- Easy SMT solver interaction☆34Feb 3, 2026Updated last month
- Ambient Authority☆21Jun 30, 2023Updated 2 years ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆107Jan 27, 2026Updated last month
- UB-aware interpreter for LLVM debugging☆46Feb 13, 2026Updated last month
- Non-owning unsafe I/O☆23Aug 6, 2025Updated 7 months ago
- The WebAssembly Indirect Call Inliner☆28Oct 18, 2023Updated 2 years ago
- A small programming language that compiles to Wasm GC☆20Feb 26, 2026Updated 3 weeks ago
- Web Assembly (WASM) logo proposal☆17Aug 22, 2022Updated 3 years ago
- Executable memory allocator with support for dual mapping and W^X protection☆13Jul 6, 2023Updated 2 years ago
- ☆137Mar 12, 2026Updated last week
- bil verification tool☆12Jun 30, 2022Updated 3 years ago
- ☆31Oct 25, 2021Updated 4 years ago
- For Jar artifacts☆20Nov 8, 2025Updated 4 months ago
- Polyfill adapter for preview1-using wasm modules to call preview2 functions.☆76Sep 20, 2023Updated 2 years ago
- An experimental mutual induction tactic for Lean 4.☆23Jan 12, 2026Updated 2 months ago
- Compile WebAssembly to native binary☆22Aug 20, 2024Updated last year
- Tracing JIT compiler and runtime for a subset of the JVM☆26Jan 1, 2024Updated 2 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- ☆58Mar 2, 2026Updated 2 weeks ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 6 years ago
- Web Assembly Value Encoding☆40Jun 18, 2024Updated last year
- C++ Unicode library for Array and String, Regexp and PEG parsing, using ref-counted slices with value semantics☆13Dec 29, 2025Updated 2 months ago