Record and Replay for WebAssembly
☆35Feb 14, 2026Updated 2 months ago
Alternatives and similar repositories for wasm-r3
Users that are interested in wasm-r3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆21Jun 21, 2025Updated 9 months ago
- 2019 딥러닝-비전처리 홀로서기 특강에 사용된 Lecture Note 및 Code Repository입니다.☆12Sep 7, 2019Updated 6 years ago
- ☆58Mar 2, 2026Updated last month
- ☆174Aug 28, 2025Updated 7 months ago
- Binary-only fuzzer for WebAssembly (WASI)☆52Jul 31, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Hello Embedded!☆23Feb 29, 2024Updated 2 years ago
- WebAssembly in Python.☆18Apr 16, 2025Updated last year
- Easily identify the current runtime environment (Node.js, browser, Deno, etc.) and its version with this minimal library.☆12Nov 29, 2025Updated 4 months ago
- WebAssembly interpreter in a Header (WAH)☆31Mar 30, 2026Updated 2 weeks ago
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)☆56Jan 23, 2025Updated last year
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Enhance SSR for Python☆14May 7, 2024Updated last year
- ☆11Nov 23, 2024Updated last year
- JEST: N+1-version Differential Testing of Both JavaScript Engines☆14Jun 1, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A lightweight WAMR backend for Extism☆20Aug 9, 2024Updated last year
- Examples of using Diderot☆11Sep 16, 2019Updated 6 years ago
- Rust bindings to the Halide runtime☆20Apr 11, 2023Updated 3 years ago
- A minimal in-place WebAssembly interpreter, written in Rust, almost without use of external dependencies☆36Apr 10, 2026Updated last week
- ☆31Oct 25, 2021Updated 4 years ago
- The code written for "Server-side WebAssembly: Building and Deploying Lightweight Apps"☆60Oct 11, 2025Updated 6 months ago
- Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.☆13Oct 31, 2025Updated 5 months ago
- ☆42Aug 4, 2020Updated 5 years ago
- experiments for IJON☆12Jul 1, 2019Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A simple blob sign generator☆15May 12, 2022Updated 3 years ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆111Jan 27, 2026Updated 2 months ago
- CO2 + Humidity + Temperature Sensors + Oled display☆11Sep 23, 2017Updated 8 years ago
- A model of the WebAssembly language in Redex☆21Mar 25, 2021Updated 5 years ago
- Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig☆291Apr 8, 2026Updated last week
- Synthesizer for JavaScript API models☆17Apr 7, 2023Updated 3 years ago
- CoreMark 1.0 ported to WebAssembly☆45Apr 2, 2021Updated 5 years ago
- A CJK-friendly mono spaced font derived from the IBM Plex typeface.☆21Jan 27, 2024Updated 2 years ago
- Easy SMT solver interaction☆34Feb 3, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆12Sep 13, 2023Updated 2 years ago
- A pure-ruby webassembly runtime.☆40Aug 29, 2025Updated 7 months ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated last year
- WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…☆17Jul 27, 2024Updated last year
- An experiment in using DuckDB for a datalog / egg☆27Oct 11, 2023Updated 2 years ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 15 years ago
- LLM-based approach to find regression bugs. It checks the behavioral changes introduced by a pull request against its title, description,…☆16Mar 12, 2026Updated last month