☆69Feb 4, 2026Updated 3 months ago
Alternatives and similar repositories for SolidityDiagram
Users that are interested in SolidityDiagram are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Solidity/EVM smart contract security auditor — 104 vulnerability patterns, 8 tools, 100% CTF + EVMBench benchmark (120/120)☆94Apr 22, 2026Updated last month
- A collection of ctf challenges based on Rareskills educational content☆36Jan 4, 2025Updated last year
- traderjoe liquidation bot bounty☆10Dec 8, 2021Updated 4 years ago
- My public profile.☆14Jan 16, 2026Updated 4 months ago
- A collection of awesome Wake tests including links to guides and more.☆17Jan 14, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆64Jul 9, 2025Updated 10 months ago
- DeFi Incident Database☆13Jun 18, 2024Updated last year
- This is a basic vault that can where you can deposit and withdraw an specific erc20 currency. The contract includes a sample erc20 but yo…☆11May 7, 2023Updated 3 years ago
- Zorya: Automated Concolic Execution Engine optimized for Go Binaries analysis, using Ghidra's P-Code as IR, and written in Rust.☆45May 7, 2026Updated 3 weeks ago
- solidity smart contract token vesting vault for BEP20 / ERC20 tokens. Includes tests.☆11Dec 16, 2021Updated 4 years ago
- A highly flexible AI Agent-driven EVM smart contract vulnerability detection framework☆70Feb 14, 2026Updated 3 months ago
- Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.☆17Dec 12, 2023Updated 2 years ago
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆93Dec 2, 2025Updated 5 months ago
- ☆10Aug 7, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Autocalibration for EPA Stormwater Management Model (SWMM) version 5. You're fully responsible for the any problems related to this soft…☆14Feb 2, 2015Updated 11 years ago
- ERC4626 vault for auto-compounding perpetual yield tokens☆17May 23, 2023Updated 3 years ago
- ☆24Jul 19, 2025Updated 10 months ago
- MCP server for searching and retrieving Solodit vulnerability reports.☆41Jun 30, 2025Updated 10 months ago
- ☆10Dec 2, 2023Updated 2 years ago
- ☆12Jan 26, 2023Updated 3 years ago
- Utils to publish transaction create via Foundry on Gnosis Safe☆14Oct 25, 2023Updated 2 years ago
- Loading geodata (such as GeoTIFF, shapefiles, zipped shapfiles, geojsons) on a react-leaflet map☆12Dec 6, 2024Updated last year
- ☆15May 11, 2026Updated 2 weeks ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Autonomous Web3 security audit agent for Claude Code☆234May 20, 2026Updated last week
- Here is a summary and navigation hub to all the audits I've conducted and I'm allowed to show.☆12Jan 29, 2026Updated 4 months ago
- EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode☆37Mar 26, 2026Updated 2 months ago
- UlamAI is an open-source Lean theorem prover and formalizer.☆140Mar 27, 2026Updated 2 months ago
- ☆19Mar 19, 2024Updated 2 years ago
- ☆12Aug 9, 2024Updated last year
- Foundry tools for testing with Gnosis Safes☆149Oct 30, 2024Updated last year
- ☆11Nov 13, 2025Updated 6 months ago
- ERC1155 extension for approvals and ERC20 conversions☆12Jan 23, 2024Updated 2 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.
- 24 Lessons, 12 Weeks, Get Started as a Web Developer☆17Oct 5, 2023Updated 2 years ago
- A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.☆41Mar 5, 2024Updated 2 years ago
- All the private and public audits that I have worked on.☆198May 1, 2026Updated 3 weeks ago
- Cryptography notes☆57Mar 23, 2024Updated 2 years ago
- ☆16Sep 5, 2024Updated last year
- A curated list of blockchain security Capture the Flag (CTF) competitions☆93Sep 1, 2023Updated 2 years ago
- React New and Improved Window popup using the window.open API☆15Jun 7, 2022Updated 3 years ago