A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
☆48Feb 23, 2026Updated 4 months ago
Alternatives and similar repositories for rWasm
Users that are interested in rWasm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆32Aug 30, 2022Updated 3 years ago
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆24Jun 21, 2025Updated last year
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆41Aug 30, 2022Updated 3 years ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- ABI compatible replacement for https://github.com/holepunchto/libjs built on QuickJS☆22Updated this week
- 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.
- Fast WebAssembly Baseline Compiler☆61Jun 1, 2023Updated 3 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Mar 11, 2026Updated 4 months ago
- ☆14Nov 14, 2023Updated 2 years ago
- IDA plugin to deobfuscate emotet CFF☆18Apr 26, 2022Updated 4 years ago
- ☆17Jun 28, 2025Updated last year
- A double JIT VM☆23Jul 9, 2026Updated last week
- Fix course names in hope☆10Sep 29, 2022Updated 3 years ago
- An integrated testing tool inspired from LLVM's 'lit' tool☆18Mar 29, 2022Updated 4 years ago
- A wrapper that enables TLS support (TLS 1.2 with AES 128 GCM) for existing applications without code change.☆25Jan 6, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Explore configuration of an MPU and RTOS for Cortex-M on a QEMU simulated system☆15Mar 21, 2021Updated 5 years ago
- ☆15Sep 2, 2024Updated last year
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- ☆13Sep 14, 2022Updated 3 years ago
- A Rust error crate with the goal of identifying precisely where and in which context an error occurs.☆21Mar 2, 2025Updated last year
- An intuitive toolkit to simplify declarative macro development in Rust☆20Mar 1, 2026Updated 4 months ago
- Coins: Research on Bitcoin Scalability and Usability☆14Jul 21, 2023Updated 3 years ago
- Modern Analog and Mixed-Signal Electronic Circuit Simulator that runs on on the desktop and in the browser☆17Updated this week
- Run cleanup logic just before the process exits without interfering☆47Jan 22, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Tarjan's zip trees implemented in Rust☆11May 13, 2024Updated 2 years ago
- Record and Replay for WebAssembly☆36Jul 1, 2026Updated 2 weeks ago
- A simple borrow-checked language built using LLVM's MLIR☆28May 3, 2020Updated 6 years ago
- Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig☆314Updated this week
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- UB-aware interpreter for LLVM debugging☆50May 21, 2026Updated 2 months ago
- Issues with nostr that would require breaking changes to fix☆17Jul 11, 2024Updated 2 years ago
- ☆27Sep 29, 2022Updated 3 years ago
- The Palan programming language☆17Feb 11, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- chiwawa(CHeckpoint/restore and Instrumentation-specific WAsm runtime on WAsm runtime)☆23Jun 11, 2026Updated last month
- Low-level Nintendo64 emulator 🌏☆27Nov 24, 2023Updated 2 years ago
- 異常発音☆10Feb 11, 2026Updated 5 months ago
- Walrus is a WebAssembly transformation library 🌊🐘☆519May 27, 2026Updated last month
- SPAKE2+EE implementation in OCaml☆17Oct 13, 2025Updated 9 months ago
- Flooding broadcast using hypercore-protocol extensions☆14Oct 8, 2022Updated 3 years ago
- Research WebAssembly Engine☆506Updated this week