SFI verifier of Wasm binaries
☆84Mar 22, 2023Updated 2 years ago
Alternatives and similar repositories for veriwasm
Users that are interested in veriwasm are comparing it to the libraries listed below
Sorting:
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- ☆13Oct 22, 2020Updated 5 years ago
- ☆11Nov 16, 2021Updated 4 years ago
- ☆17Aug 31, 2023Updated 2 years ago
- Verified Wasm runtime☆30Oct 30, 2023Updated 2 years ago
- TWINE: An Embedded Trusted Runtime for WebAssembly. This is the repository that contains the source code of Twine and the related benchma…☆43Mar 14, 2024Updated last year
- Proof of Device☆20Jan 20, 2023Updated 3 years ago
- BAT KEM/Signature Reference Implementation☆23Dec 28, 2021Updated 4 years ago
- A framework for writing plugins that integrate with the Rust compiler☆164Sep 26, 2025Updated 5 months ago
- The Pulse separation logic DSL for F*☆34Feb 21, 2026Updated last week
- WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.☆343Nov 19, 2025Updated 3 months ago
- An approximate solver for concolic execution☆22Apr 29, 2025Updated 10 months ago
- Ultra-compact storage for collections of enums 🌱☆23Sep 12, 2022Updated 3 years ago
- RustHorn: A CHC-based automated verifier for Rust☆90Mar 14, 2025Updated 11 months ago
- ☆13Oct 6, 2020Updated 5 years ago
- A dynamic analysis framework for WebAssembly programs.☆395Feb 12, 2026Updated 2 weeks ago
- Practical and Efficient in-TEE Verification of Privacy Compliance☆46Jan 10, 2025Updated last year
- Refinement Types for Rust☆836Updated this week
- ☆14Apr 14, 2025Updated 10 months ago
- todo2(a.k.a. todo or die) - A better todo! macro inspired from searls/todo_or_die☆11Feb 5, 2026Updated 3 weeks ago
- For hosting ATS3 and developing CodeDepot☆18Feb 6, 2026Updated 3 weeks ago
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11May 23, 2020Updated 5 years ago
- ☆10Jan 29, 2025Updated last year
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆29Aug 30, 2022Updated 3 years ago
- DNS proxy for enabling any application to use DNS Over HTTPS/DNS Over TLS/DNSCrypt☆22Aug 8, 2021Updated 4 years ago
- Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig☆281Feb 18, 2026Updated last week
- Binary-only fuzzer for WebAssembly (WASI)☆52Jul 31, 2024Updated last year
- BREWasm: A general purpose static binary rewriting framework for Wasm.☆24Nov 28, 2024Updated last year
- Direct, source-level WebAssembly debugger☆53Mar 15, 2021Updated 4 years ago
- ☆14Jan 8, 2024Updated 2 years ago
- A Gleam Library for adding colours in Terminal☆12Feb 6, 2024Updated 2 years ago
- DNS Stamp encoding/decoding library for node☆15May 22, 2022Updated 3 years ago
- Materials accompanying "Implementing an Elliptic Curve in Go"☆13Jul 29, 2017Updated 8 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 2 years ago
- rsync-like command to sync a git repo to a remote machine via git itself.☆17May 12, 2020Updated 5 years ago
- A tweakable block cipher☆31May 17, 2024Updated last year
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆82Jan 22, 2024Updated 2 years ago
- A framework for smart contract verification in Coq☆124Jan 25, 2026Updated last month
- ☆27Apr 27, 2022Updated 3 years ago