A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.
☆39Mar 5, 2024Updated 2 years ago
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
- CTF challenges created by @minaminao☆24Updated this week
- ⚙️ Juicebox core V4 contracts.☆16Sep 4, 2025Updated 6 months ago
- Is like jq for Immunefi REST API. Search, filter and map structured data about bug bounty programs with ease.☆28Nov 24, 2025Updated 3 months ago
- Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized coll…☆97Mar 1, 2026Updated last week
- Audit portfolio of 0xSimao☆50Dec 17, 2025Updated 2 months ago
- Checklist for security audit of tron projects by @positivesecurity☆26Sep 11, 2024Updated last year
- A set of tasks for cracking implementations of smart-contracts with typical vulnerabilities.☆26Dec 2, 2025Updated 3 months ago
- ULPatch is open source user space live patch tool.☆13Jan 11, 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…☆224Jul 27, 2025Updated 7 months ago
- The Web3 Security Resources Hub is a comprehensive collection of curated tools, guides, and best practices for securing decentralized sys…☆375May 27, 2025Updated 9 months ago
- A framework that references, categorizes, and mitigates blockchain attack vectors.☆128May 28, 2025Updated 9 months ago
- Resources to learn Wallet Security☆57Aug 17, 2025Updated 6 months ago
- Java decompilation & deobfuscation lab - dockerized toolset☆15Mar 1, 2026Updated last week
- All things SVM (Solana Virtual Machine)☆57Feb 5, 2026Updated last month
- A curated list of awesome ton security resources☆39Sep 23, 2025Updated 5 months ago
- ☆38Feb 5, 2023Updated 3 years ago
- A framework for high-level Analysis of Ethereum Bytecode☆22Jan 23, 2026Updated last month
- ZeroVM glibc port (part of the gcc toolchain)☆12Apr 3, 2015Updated 10 years ago
- Smart Sessions with EIP-7702 EOA☆16Nov 15, 2024Updated last year
- NextJS template for embedded accounts UI components alpha quickstart guide☆14Oct 29, 2025Updated 4 months ago
- Lints based on the Sealevel Attacks☆47Feb 19, 2026Updated 2 weeks ago
- RFID controller for the Sonos music player☆15Jul 16, 2019Updated 6 years ago
- Logseq git sync☆10May 6, 2023Updated 2 years ago
- Resources for the workshop "3 ways you can use ontologies in neo4j" at Graph Connect 2022☆10Jun 7, 2022Updated 3 years ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- List of the public smart contract audit reports and security reviews performed by Hexens.☆55Feb 17, 2026Updated 2 weeks ago
- EDR PoC WIP LLC☆10Feb 9, 2024Updated 2 years ago
- XOrCryptEx lightweight C Utility/Algorithm☆11Mar 3, 2022Updated 4 years ago
- Examples of interacting with Pendle's contracts☆13Sep 5, 2025Updated 6 months ago
- A simple go app that connects to a sqlite3 database☆11Sep 18, 2018Updated 7 years ago
- The shared world article☆10Mar 4, 2022Updated 4 years ago
- ☆12Oct 28, 2025Updated 4 months ago
- ShEx Graphic Assistant☆11Jan 24, 2023Updated 3 years ago
- 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
- ☆14Dec 31, 2021Updated 4 years ago
- Guide and example code for using Loss Versus Rebalancing to measure LP returns☆10Feb 2, 2024Updated 2 years ago
- mods improvements hacks for the PrinCube☆11May 4, 2022Updated 3 years ago
- API/Data Platform for Ingesting, Storing, and Serving Data through Postgres, and Litestar☆11Jan 18, 2026Updated last month