johnsonstephan / awesome-web3-formal-verificationView external linksLinks
A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.
☆34Mar 5, 2024Updated last year
Alternatives and similar repositories for awesome-web3-formal-verification
Users that are interested in awesome-web3-formal-verification are comparing it to the libraries listed below
Sorting:
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- Plugin manager using Qt framework to create Qt application based on custom loadable plugins☆12Oct 12, 2023Updated 2 years ago
- ⚙️ Juicebox core V4 contracts.☆16Sep 4, 2025Updated 5 months ago
- Is like jq for Immunefi REST API. Search, filter and map structured data about bug bounty programs with ease.☆27Nov 24, 2025Updated 2 months ago
- Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized coll…☆88Jan 21, 2026Updated 3 weeks ago
- ULPatch is open source user space live patch tool.☆13Jan 11, 2026Updated last month
- CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.☆21May 6, 2021Updated 4 years ago
- A simple single-threaded concurrency runtime for Rust based on io_uring.☆27Jan 6, 2024Updated 2 years ago
- A set of tasks for cracking implementations of smart-contracts with typical vulnerabilities.☆26Dec 2, 2025Updated 2 months ago
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆45Mar 3, 2024Updated last year
- All things SVM (Solana Virtual Machine)☆56Feb 5, 2026Updated last week
- Java decompilation & deobfuscation lab - dockerized toolset☆14Updated this week
- A curated list of awesome ton security resources☆38Sep 23, 2025Updated 4 months ago
- DTMF Receiver: Logic Synthesis and Physical Design using genus and innovus in 90nm process node☆14Dec 1, 2023Updated 2 years ago
- Reads a state transition system and performs property checking☆90Sep 12, 2025Updated 5 months ago
- ☆38Feb 5, 2023Updated 3 years ago
- A framework for high-level Analysis of Ethereum Bytecode☆22Jan 23, 2026Updated 3 weeks ago
- Smart Sessions with EIP-7702 EOA☆16Nov 15, 2024Updated last year
- ZeroVM glibc port (part of the gcc toolchain)☆12Apr 3, 2015Updated 10 years ago
- ☆15Mar 11, 2025Updated 11 months ago
- Resources for the workshop "3 ways you can use ontologies in neo4j" at Graph Connect 2022☆10Jun 7, 2022Updated 3 years ago
- A Logstash input plugin for querying a blockchain☆10Jun 11, 2017Updated 8 years ago
- Logseq git sync☆10May 6, 2023Updated 2 years ago
- Lints based on the Sealevel Attacks☆47Jan 15, 2026Updated last month
- We are systematizing everything we know about Solana security into one structured resource: the Solana Security Strategy. It’s a field-te…☆218Jul 27, 2025Updated 6 months ago
- My GNU Screen config☆12Jul 23, 2015Updated 10 years ago
- ☆12Aug 2, 2022Updated 3 years ago
- Puppeteer based solution that improves telegram bots functionality☆10Aug 27, 2019Updated 6 years ago
- Polkadot Dashboard☆13Feb 12, 2022Updated 4 years ago
- ☆10Oct 22, 2021Updated 4 years ago
- Formalization of the Rupert Problem for convex polyhedra.☆17Dec 15, 2025Updated 2 months ago
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated last year
- XOrCryptEx lightweight C Utility/Algorithm☆11Mar 3, 2022Updated 3 years ago
- Linux kernel-mode and user-space with wine/MinGW/Windows compability hacking library.☆12Sep 15, 2022Updated 3 years ago
- Auto Move Your Cursor to the Focused Window while You Alt-Tab or Touchboard for Windows☆10Dec 11, 2024Updated last year
- Simple program to stream offsets for your game cheat, Was reversing some p2c and decided to recreate a better version of this function fo…☆11Sep 12, 2022Updated 3 years ago
- LLVM-based ROP obfuscated compiler☆13Mar 24, 2022Updated 3 years ago
- Easily make & receive Bitcoin and Lightning Network payments on the web using your Casa Node.☆12Jan 5, 2021Updated 5 years ago
- A recursive file-system digest (hash)☆13Apr 4, 2023Updated 2 years ago