A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
☆47Feb 23, 2026Updated 3 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 11 months ago
- MCP is a command-line tool and local UI for discovering, installing and managing Model Context Protocol servers.☆14Dec 28, 2024Updated last year
- Go sqlite3 cache☆21Mar 6, 2024Updated 2 years ago
- a HTTP(s) addressing scheme for BitTorrent☆55Jan 3, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- Fast WebAssembly Baseline Compiler☆60Jun 1, 2023Updated 3 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
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Mar 11, 2026Updated 2 months ago
- This esbuild plugin uses Velcro to build projects without having to npm install dependencies☆15May 21, 2021Updated 5 years ago
- Dig into an opam switch for doc☆11Apr 8, 2022Updated 4 years ago
- ☆17Jun 28, 2025Updated 11 months ago
- Screams when you write `unsafe` on Rust.☆13Nov 7, 2021Updated 4 years ago
- An integrated testing tool inspired from LLVM's 'lit' tool☆18Mar 29, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- Open-source interface to a user's defaults on macOS. Available as both a CLI and a library.☆15Dec 21, 2025Updated 5 months ago
- Explore configuration of an MPU and RTOS for Cortex-M on a QEMU simulated system☆14Mar 21, 2021Updated 5 years ago
- Base32 encoder/decoder for Rust☆35Jul 18, 2024Updated last year
- .data ptr swapper for newer win32k versions. (Supports Windows 11)☆37Jan 19, 2026Updated 4 months ago
- Translator from wasm to Cretonne IL☆19Aug 11, 2017Updated 8 years ago
- Deprecated, use ocaml-ppx/ppxlib instead☆14Mar 29, 2018Updated 8 years ago
- A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer☆23Updated this week
- The polyfill implementation for WASI functions in the IC environment☆21Apr 24, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Frontend implementation of ocwcentral.com☆21Aug 30, 2023Updated 2 years ago
- Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applications☆11Dec 3, 2024Updated last year
- Coins: Research on Bitcoin Scalability and Usability☆12Jul 21, 2023Updated 2 years ago
- Run cleanup logic just before the process exits without interfering☆47Jan 22, 2025Updated last year
- ☆17Oct 18, 2021Updated 4 years ago
- Record and Replay for WebAssembly☆35Feb 14, 2026Updated 3 months ago
- A simple borrow-checked language built using LLVM's MLIR☆28May 3, 2020Updated 6 years ago
- A Rust implementation of the Gravity-post-quantum signature schemes☆19May 6, 2026Updated last month
- The Nexus between Pubky homeservers and Pubky-App social features.☆20Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 15 years ago
- Sound static analysis for the masses.☆64Updated this week
- A Rust error crate with the goal of identifying precisely where and in which context an error occurs.☆21Mar 2, 2025Updated last year
- rust implementation fo the DHT powering the HyperSwarm stack☆18Apr 1, 2022Updated 4 years ago
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- Unix-specific portions of Core☆18May 18, 2026Updated 3 weeks ago
- Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig☆306Jun 3, 2026Updated last week