A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
☆48Feb 23, 2026Updated 7 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☆33Aug 30, 2022Updated 4 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"☆42Aug 30, 2022Updated 4 years ago
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 4 years ago
- MCP is a command-line tool and local UI for discovering, installing and managing Model Context Protocol servers.☆13Dec 28, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- Portable WebAssembly Dynamic Analysis with Support for Intercession☆17Sep 30, 2026Updated last week
- Fast WebAssembly Baseline Compiler☆63Jun 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…☆13Aug 8, 2026Updated 2 months ago
- ☆16Nov 14, 2023Updated 2 years ago
- This esbuild plugin uses Velcro to build projects without having to npm install dependencies☆15May 21, 2021Updated 5 years ago
- VSCode plugin for working with yarn workspaces, lerna, pnpm, and bolt☆13Apr 19, 2025Updated last year
- Screams when you write `unsafe` on Rust.☆13Nov 7, 2021Updated 4 years ago
- Fix course names in hope☆11Sep 29, 2022Updated 4 years ago
- 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.
- Creates CDN Versions of Monaco and Monaco TypeScript for TypeScript web infra☆18Sep 29, 2026Updated last week
- Explore configuration of an MPU and RTOS for Cortex-M on a QEMU simulated system☆14Mar 21, 2021Updated 5 years ago
- ☆15Sep 2, 2024Updated 2 years ago
- MySQL to Redis cache sync utility☆12Feb 14, 2015Updated 11 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- Deprecated, use ocaml-ppx/ppxlib instead☆14Mar 29, 2018Updated 8 years ago
- Simple, robust, BitTorrent's Mainline DHT implementation☆24Aug 5, 2026Updated 2 months ago
- Frontend implementation of ocwcentral.com☆21Aug 30, 2023Updated 3 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆26Oct 22, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Modern Analog and Mixed-Signal Electronic Circuit Simulator that runs on on the desktop and in the browser☆25Updated this week
- Run cleanup logic just before the process exits without interfering☆47Jan 22, 2025Updated last year
- Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.☆323Updated this week
- Record and Replay for WebAssembly☆36Jul 1, 2026Updated 3 months ago
- A simple borrow-checked language built using LLVM's MLIR☆30May 3, 2020Updated 6 years ago
- Unix-specific portions of Core☆19Jul 10, 2026Updated 2 months ago
- An ahead-of-time compiler from Erlang (intermediate language) to LLVM IR and a runtime library for linking against it☆15Updated this week
- automagically find peers interested in a topic + optional iroh-gossip integration☆41Jun 15, 2026Updated 3 months ago
- Rust toolkit for layered stream multiplexing and schemaless RPC communication.☆36Updated this week
- 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.
- A mechanisation of Wasm in Isabelle.☆38Aug 27, 2026Updated last month
- A simpler, faster, and more lightweight implementation of Cryptomator using Rust.☆15Apr 22, 2026Updated 5 months ago
- UB-aware interpreter for LLVM debugging☆50Aug 26, 2026Updated last month
- ☆27Sep 29, 2022Updated 4 years ago
- The Palan programming language☆17Feb 11, 2023Updated 3 years ago
- A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN☆16Dec 28, 2025Updated 9 months ago
- chiwawa(CHeckpoint/restore and Instrumentation-specific WAsm runtime on WAsm runtime)☆24Updated this week