Verified Wasm runtime
☆30Oct 30, 2023Updated 2 years ago
Alternatives and similar repositories for wave
Users that are interested in wave are comparing it to the libraries listed below
Sorting:
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆38Aug 30, 2022Updated 3 years ago
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Nov 4, 2022Updated 3 years ago
- BREWasm: A general purpose static binary rewriting framework for Wasm.☆24Nov 28, 2024Updated last year
- ☆13Aug 18, 2025Updated 6 months ago
- Hodor for node.js☆15Jun 18, 2023Updated 2 years ago
- Small tensor library a la GLSL☆17Oct 28, 2022Updated 3 years ago
- A native symbolic execution engine for WebAssembly☆49Jul 6, 2024Updated last year
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated 9 months ago
- ☆22Feb 14, 2026Updated 2 weeks ago
- For Jar artifacts☆20Nov 8, 2025Updated 3 months ago
- RPC client/server for Irmin☆19Aug 5, 2021Updated 4 years ago
- The Pulse separation logic DSL for F*☆34Feb 21, 2026Updated last week
- SFI verifier of Wasm binaries☆84Mar 22, 2023Updated 2 years ago
- Lean 4 as a scripting language in Houdini☆21Mar 13, 2024Updated last year
- Library for invertible parsing and printing☆33Aug 25, 2025Updated 6 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆29Aug 30, 2022Updated 3 years ago
- Building A Correct-By-Construction Proof Checkers For Type Theories☆31Jan 15, 2026Updated last month
- A mechanisation of Wasm in Coq(Rocq)☆114Feb 19, 2026Updated last week
- WebAssembly Transformation Library for the Component Model☆34Feb 21, 2026Updated last week
- A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study …☆67Jul 20, 2022Updated 3 years ago
- A WebAssembly implementation in Lean4☆41Dec 13, 2023Updated 2 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Oct 26, 2025Updated 4 months ago
- ☆31Oct 25, 2021Updated 4 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆43Feb 14, 2026Updated 2 weeks ago
- ☆37Oct 29, 2021Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆36Oct 25, 2024Updated last year
- HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables☆11Apr 7, 2025Updated 10 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- anomalies detection approach☆13Dec 23, 2024Updated last year
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- ☆42Aug 4, 2020Updated 5 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- WebRTCを使ってブラウザ間通信を行うオンセツール ユドナリウムの変更版ユドナリウムリリィです☆18Jan 22, 2026Updated last month
- Welcome to the Lind sandbox monorepo! See our docs below:☆17Updated this week
- CS6868: Concurrent Programming☆32Updated this week
- Verifying the SCION architecture using Gobra☆11Feb 9, 2026Updated 2 weeks ago
- Swift implementation of multihash☆15May 9, 2023Updated 2 years ago
- Organ Procurement Transplant System for "We, The People" developed using publicly available information about Organ Transplant & cutting…☆42Jun 1, 2021Updated 4 years ago